Sat.Variable (morel 0.3.0 API)

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

int id

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

All Methods Instance Methods Concrete Methods
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 Detail

id
```
public final int id
```

name
```
public final String name
```

Constructor Detail

Variable

Variable(int id,
         String name)

Method Detail

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