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
-
Method Summary
Modifier and TypeMethodDescription<T> T
accept
(DependencySchemaVisitor<T> visitor) getDerivationRulesByPredicateName
(String derivedPredicateName) getPredicateByName
(String predicateName) boolean
isEmpty()
-
Constructor Details
-
DependencySchema
-
-
Method Details
-
getAllPredicates
-
getPredicateByName
-
getDerivationRulesByPredicateName
-
getAllDependencies
-
getAllTGDs
-
getAllEGDs
-
accept
-
isEmpty
public boolean isEmpty()
-