Class DependencySchema
java.lang.Object
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema
A dependency schema bounds several predicates and dependencies together guaranteeing their consistency.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription<T> Taccept(DependencySchemaVisitor<T> visitor) getDerivationRulesByPredicateName(String derivedPredicateName) getPredicateByName(String predicateName) booleanisEmpty()
-
Constructor Details
-
DependencySchema
-
-
Method Details
-
getAllPredicates
-
getPredicateByName
-
getDerivationRulesByPredicateName
-
getAllDependencies
-
getAllTGDs
-
getAllEGDs
-
accept
-
isEmpty
public boolean isEmpty()
-