Package net.hydromatic.morel.util

Class Sat.Term

java.lang.Object

net.hydromatic.morel.util.Sat.Term

Direct Known Subclasses:

Sat.Node, Sat.Not, Sat.Variable

Enclosing class:

Sat

public abstract static class Sat.Term
extends Object

Base class for all terms (variables, and, or, not).

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Sat.Op	op

Constructor Summary

Constructors

Constructor	Description
Term(Sat.Op op)

Method Summary

Modifier and Type	Method	Description
abstract boolean	evaluate(boolean[] env)
String	toString()
protected abstract StringBuilder	unparse(StringBuilder buf, int left, int right)

Methods inherited from class java.lang.Object

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

Field Detail

op

final Sat.Op op

Constructor Detail

Term

Term(Sat.Op op)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

unparse

protected abstract StringBuilder unparse(StringBuilder buf,
                                         int left,
                                         int right)

evaluate

public abstract boolean evaluate(boolean[] env)