Package net.hydromatic.morel.util

Class Sat.And

java.lang.Object

net.hydromatic.morel.util.Sat.Term

net.hydromatic.morel.util.Sat.Node

net.hydromatic.morel.util.Sat.And

Enclosing class:

Sat

static class Sat.And
extends Sat.Node

"And" term.

Field Summary

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

terms

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

op

Constructor Summary

Constructors

Constructor	Description
And(com.google.common.collect.ImmutableList<Sat.Term> terms)

Method Summary

Modifier and Type	Method	Description
boolean	evaluate(boolean[] env)

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

unparse

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

Constructor Details

And

And(com.google.common.collect.ImmutableList<Sat.Term> terms)

Method Details

evaluate

public boolean evaluate(boolean[] env)

Specified by:

evaluate in class Sat.Term