Package astra.reasoner.unifier
-
Class Summary Class Description AcreFormulaUnifier ANDUnifier BeliefEventUnifier FormulaVariableUnifier GoalEventUnifier MessageEventUnifier PredicateUnifier
| Class | Description |
|---|---|
| AcreFormulaUnifier | |
| ANDUnifier | |
| BeliefEventUnifier | |
| FormulaVariableUnifier | |
| GoalEventUnifier | |
| MessageEventUnifier | |
| PredicateUnifier |