Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class LogicSchema

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema

public class LogicSchema
extends Object

This class implements the representation of a logic schema.
A logic schema bounds several predicates and constraints together guaranteeing their consistency.

Constructor Summary

Constructors

Constructor	Description
LogicSchema(Set<Predicate> predicates, Set<LogicConstraint> constraints)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(LogicSchemaVisitor<T> visitor)
LevelHierarchy	computeLevelHierarchy()	A LevelHierarchy is a partition of the predicates of a schema into several levels, where level 0 contains the base predicates, and each derived predicate from level i is defined through predicates from levels j < i.
Set<DerivationRule>	getAllDerivationRules()
Set<Predicate>	getAllDerivedPredicates()
Set<LogicConstraint>	getAllLogicConstraints()
Set<NormalClause>	getAllNormalClauses()
Set<Predicate>	getAllPredicates()
List<DerivationRule>	getDerivationRulesByPredicateName(String derivedPredicateName)
LogicConstraint	getLogicConstraintByID(ConstraintID constraintID)
Predicate	getPredicateByName(String predicateName)
boolean	isEmpty()
boolean	isSafe()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LogicSchema

public LogicSchema(Set<Predicate> predicates,
 Set<LogicConstraint> constraints)

Method Details

isEmpty

public boolean isEmpty()

getPredicateByName

public Predicate getPredicateByName(String predicateName)

getLogicConstraintByID

public LogicConstraint getLogicConstraintByID(ConstraintID constraintID)

getDerivationRulesByPredicateName

public List<DerivationRule> getDerivationRulesByPredicateName(String derivedPredicateName)

getAllPredicates

public Set<Predicate> getAllPredicates()

getAllNormalClauses

public Set<NormalClause> getAllNormalClauses()

getAllLogicConstraints

public Set<LogicConstraint> getAllLogicConstraints()

getAllDerivationRules

public Set<DerivationRule> getAllDerivationRules()

getAllDerivedPredicates

public Set<Predicate> getAllDerivedPredicates()

computeLevelHierarchy

public LevelHierarchy computeLevelHierarchy()

A LevelHierarchy is a partition of the predicates of a schema into several levels, where level 0 contains the base predicates, and each derived predicate from level i is defined through predicates from levels j < i.

Returns:

a LevelHierarchy for this schema

isSafe

public boolean isSafe()

accept

public <T> T accept(LogicSchemaVisitor<T> visitor)