Class Hierarchy
- java.lang.Object
- astra.formula.AcreFormula (implements astra.formula.Formula)
- astra.formula.AND (implements astra.formula.Formula)
- astra.formula.Bind (implements astra.formula.Formula)
- astra.formula.BracketFormula (implements astra.formula.Formula)
- astra.formula.Comparison (implements astra.formula.Formula)
- astra.formula.FormulaVariable (implements astra.formula.Formula)
- astra.formula.Goal (implements astra.formula.Formula)
- astra.formula.Inference (implements astra.formula.Formula)
- astra.formula.IsDone (implements astra.formula.Formula)
- astra.formula.IsNull (implements astra.formula.Formula)
- astra.formula.ModuleFormula (implements astra.formula.Formula)
- astra.formula.ModuleFormulaAdaptor
- astra.formula.NOT (implements astra.formula.Formula)
- astra.formula.OR (implements astra.formula.Formula)
- astra.formula.Predicate (implements astra.formula.Formula)
- astra.formula.ScopedGoal (implements astra.formula.Formula)
Interface Hierarchy
- java.io.Serializable
- astra.formula.Formula