org.sosy_lab.solver.cvc4

Class CVC4Formula

java.lang.Object

org.sosy_lab.solver.cvc4.CVC4Formula

All Implemented Interfaces:

Formula

public class CVC4Formula
extends Object
implements Formula

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

toString

public final String toString()

Overrides:

toString in class Object

equals

public final boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object