Nested Classes
Modifier and Type	Class	Description
`static class`	`Formula.Comp`	Represents a compound formula, i.e. one defined via an operation.
`static class`	`Formula.Const`	Represents a constant interpreted as atomic formula.
`static class`	`Formula.Var`	Represents a variable interpreted as atomic formula.

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract Formula`	`add(SInstance serv, Deficiency def)`
`boolean`	`equals(Object obj)`
`abstract Set<Deficiency>`	`getConst()`	Returns the constant represented by this formula, if any.
`static Formula`	`getFormula(Operation.Eval oper, Set<Formula> args)`
`abstract Set<Deficiency>`	`getMax()`
`abstract Set<Deficiency>`	`getMin()`
`abstract Set<SInstance>`	`getVars()`
`int`	`hashCode()`
`static void`	`main(String[] args)`
`abstract Formula`	`remove(SInstance serv, Deficiency def)`
`abstract Formula`	`substitute(SInstance serv, Formula form)`

public static final Formula EMPTY_EXPRESSION

public static Formula getFormula(Operation.Eval oper,
                                 Set<Formula> args)

public abstract Formula remove(SInstance serv,
                               Deficiency def)

public abstract Formula add(SInstance serv,
                            Deficiency def)

public abstract Formula substitute(SInstance serv,
                                   Formula form)

public abstract Set<SInstance> getVars()

public abstract Set<Deficiency> getMin()

public abstract Set<Deficiency> getMax()

public final boolean equals(Object obj)

public static final void main(String[] args)

Class Formula