Class SmtExprChecker

java.lang.Object

tools.refinery.store.reasoning.smt.expr.SmtExprChecker

public class SmtExprChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
SmtExprChecker()

Method Summary

Modifier and Type	Method	Description
boolean	isSupported(Term<?> term)

Methods inherited from class Object

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

Constructor Details

SmtExprChecker

public SmtExprChecker()

Method Details

isSupported

public boolean isSupported(Term<?> term)