Package forge.util

Class Summary
BreadthFirstVisitor Performs a breadth-first traversal of the call graph and then the statements within the call graph.
CircuitReporter A reporter that prints the final circuit in eDIMACS form to a given file.
ExpressionUtil Utilities with expressions.
ModifiableMap<V> An override map that maps modifiables to non-null values.
RelationFactory<R,U extends R,T extends R,A extends U,O> Implementation support for factories that construct relations with Kodkod TupleSets.
SystemOutReporter A reporter that prints out basic information to the standard out noting which phase of the translation it is in.