Class SMTEvaluator

java.lang.Object

liquidjava.smt.SMTEvaluator

public class SMTEvaluator
extends Object

Constructor Summary

Constructors

Constructor	Description
SMTEvaluator()

Method Summary

Modifier and Type	Method	Description
void	verifySubtype(Predicate subRef, Predicate supRef, Context c)

Methods inherited from class java.lang.Object

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

Constructor Details

SMTEvaluator

public SMTEvaluator()

Method Details

verifySubtype

public void verifySubtype(Predicate subRef,
 Predicate supRef,
 Context c)
                   throws Exception

Throws:

Exception