Package astra.reasoner
Interface FormulaUnifier
- All Known Implementing Classes:
AcreFormulaUnifier,ANDUnifier,FormulaVariableUnifier,PredicateUnifier
public interface FormulaUnifier
AcreFormulaUnifier, ANDUnifier, FormulaVariableUnifier, PredicateUnifierpublic interface FormulaUnifier