Sat.Not (morel 0.3.0 API)

java.lang.Object
- net.hydromatic.morel.util.Sat.Term
- - net.hydromatic.morel.util.Sat.Not

Enclosing class:

Sat
```
static class Sat.Not
extends Sat.Term
```
"Not" term.

Field Summary

Fields
Modifier and Type Field Description

Sat.Term term
- Fields inherited from class net.hydromatic.morel.util.Sat.Term
  op

Constructor Summary

Constructors
Constructor Description

Not(Sat.Term term)

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
- term
```
public final Sat.Term term
```

Constructor Detail
- Not
```
Not(Sat.Term term)
```

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