Uses of Interface
org.coode.oppl.querymatching.AxiomQuery

Packages that use AxiomQuery

Package	Description
org.coode.oppl.querymatching

Uses of AxiomQuery in org.coode.oppl.querymatching

Classes in org.coode.oppl.querymatching that implement AxiomQuery

Modifier and Type	Class and Description
class	AssertedSolvabilityBasedAxiomQuery
class	AssertedTreeSearchAxiomQuery
class	AssertedTreeSearchSingleAxiomQuery
class	InferredSolvabilityBasedTreeSearchAxiomQuery
class	InferredTreeSearchAxiomQuery