org.sosy_lab.solver.cvc4

Class CVC4Environment

java.lang.Object

org.sosy_lab.solver.cvc4.CVC4Environment

public class CVC4Environment
extends Object

Constructor Summary

Constructors

Constructor and Description
CVC4Environment(edu.nyu.acsys.CVC4.Options pCvc4options)

Method Summary

Modifier and Type	Method and Description
edu.nyu.acsys.CVC4.ExprManager	getExprManager()
edu.nyu.acsys.CVC4.SmtEngine	newSMTEngine()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CVC4Environment

public CVC4Environment(edu.nyu.acsys.CVC4.Options pCvc4options)

Method Detail

newSMTEngine

public edu.nyu.acsys.CVC4.SmtEngine newSMTEngine()

getExprManager

public edu.nyu.acsys.CVC4.ExprManager getExprManager()