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.