org.coode.oppl.querymatching
Interfaces
AxiomQuery
Classes
AssertedSolvabilityBasedAxiomQuery
AssertedTreeSearchAxiomQuery
AssertedTreeSearchSingleAxiomQuery
ConstraintChecker
InferredSolvabilityBasedTreeSearchAxiomQuery
InferredTreeSearchAxiomQuery