Package astra.formula
-
Interface Summary Interface Description Formula -
Class Summary Class Description AcreFormula AND Bind BracketFormula Comparison FormulaVariable Goal Inference IsDone IsNull ModuleFormula ModuleFormulaAdaptor NOT OR Predicate ScopedGoal