Nested Classes
Modifier and Type	Class	Description
`(package private) static class`	`FormulaDecl.Comp`	Represents composite formulae consisting of a operation `FormulaDecl.Comp.oper` and a set of arguments `FormulaDecl.Comp.args`.
`(package private) static class`	`FormulaDecl.Const`	Represents atomic formulae consisting of a constant only.
`(package private) static class`	`FormulaDecl.Var`	Represents atomic formulae consisting of a variable only.

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`static FormulaDecl`	`getComp(Operation oper, Set<FormulaDecl> args)`
`static FormulaDecl`	`getConst(Type type, Set<Deficiency> val)`
`static FormulaDecl`	`getVar(CClass.SClassDecl decl, List<String> path)`
`int`	`hashCode()`
`abstract Formula`	`resolve(CInstance cInst)`
`abstract Type`	`retType()`

public static FormulaDecl getConst(Type type,
                                   Set<Deficiency> val)

public static FormulaDecl getVar(CClass.SClassDecl decl,
                                 List<String> path)

public static FormulaDecl getComp(Operation oper,
                                  Set<FormulaDecl> args)

public abstract Formula resolve(CInstance cInst)

public final boolean equals(Object obj)

Class FormulaDecl