public final class FlattenDeclarations extends java.lang.Object
|Modifier and Type||Class and Description|
The flattening result.
|Modifier and Type||Method and Description|
Flatten a task with nested declarations.
public static FlattenDeclarations.Result flatten(java.util.Vector<TheorySymbol> theories, Declaration decls, Formula goal, TheorySymbol theory)
theories- the theories that are referenced in dependence order.
decls- the nested declarations.
goal- the goal.
theory- the theory of the goal (may be null)