Uses of Interface
astra.reasoner.FormulaUnifier

Packages that use FormulaUnifier

Package	Description
astra.reasoner
astra.reasoner.unifier

Uses of FormulaUnifier in astra.reasoner

Fields in astra.reasoner with type parameters of type FormulaUnifier

Modifier and Type	Field	Description
static List<FormulaUnifier>	Unifier.formulaUnifiers

Uses of FormulaUnifier in astra.reasoner.unifier

Classes in astra.reasoner.unifier that implement FormulaUnifier

Modifier and Type	Class	Description
class	AcreFormulaUnifier
class	ANDUnifier
class	FormulaVariableUnifier
class	PredicateUnifier