public class OracleInvariantTranslator extends java.lang.Object
private Services
services
OracleInvariantTranslator(Services services)
Term
getInvariantTerm(Sort s)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private Services services
public OracleInvariantTranslator(Services services)
public Term getInvariantTerm(Sort s)