Package net.hydromatic.morel.util

Class Sat.Variable

java.lang.Object

net.hydromatic.morel.util.Sat.Term

net.hydromatic.morel.util.Sat.Variable

Enclosing class:

Sat

public static class Sat.Variable
extends Sat.Term

Variable. Its value can be true or false.

Field Summary

Fields

Modifier and Type	Field	Description
final int	id
final String	name

Fields inherited from class net.hydromatic.morel.util.Sat.Term

op

Constructor Summary

Constructors

Constructor	Description
Variable(int id, String name)

Method Summary

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

Methods inherited from class net.hydromatic.morel.util.Sat.Term

toString

Methods inherited from class java.lang.Object

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

Field Details

id

public final int id

name

public final String name

Constructor Details

Variable

Variable(int id,
 String name)

Method Details

unparse

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

Specified by:

unparse in class Sat.Term

evaluate

public boolean evaluate(boolean[] env)

Specified by:

evaluate in class Sat.Term