public static class FlattenDeclarations.Result extends java.lang.Object
Declaration[]
decls
Formula
goal
java.util.Map<Symbol,Symbol>
map
Result(Declaration[] decls, Formula goal, java.util.Map<Symbol,Symbol> map)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final Declaration[] decls
public final Formula goal
public final java.util.Map<Symbol,Symbol> map
public Result(Declaration[] decls, Formula goal, java.util.Map<Symbol,Symbol> map)