Package net.hydromatic.morel.util

Class Sat.Or

java.lang.Object

net.hydromatic.morel.util.Sat.Term

net.hydromatic.morel.util.Sat.Node

net.hydromatic.morel.util.Sat.Or

Enclosing class:

Sat

static class Sat.Or
extends Sat.Node

"Or" 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
Or(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

Or

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

Method Details

evaluate

public boolean evaluate(boolean[] env)

Specified by:

evaluate in class Sat.Term