org.coode.oppl.querymatching

Interfaces

• AxiomQuery

Classes

• AssertedSolvabilityBasedAxiomQuery
• AssertedTreeSearchAxiomQuery
• AssertedTreeSearchSingleAxiomQuery
• ConstraintChecker
• InferredSolvabilityBasedTreeSearchAxiomQuery
• InferredTreeSearchAxiomQuery