Package net.hydromatic.morel.util

Class Sat.Node

java.lang.Object

net.hydromatic.morel.util.Sat.Term

net.hydromatic.morel.util.Sat.Node

Direct Known Subclasses:

Sat.And, Sat.Or

Enclosing class:

Sat

abstract static class Sat.Node
extends Sat.Term

Term that has a variable number of arguments ("and" or "or").

Field Summary

Fields

Modifier and Type	Field	Description
final com.google.common.collect.ImmutableList<Sat.Term>	terms

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

op

Constructor Summary

Constructors

Constructor	Description
Node(Sat.Op op, com.google.common.collect.ImmutableList<Sat.Term> terms)

Method Summary

Modifier and Type	Method	Description
protected StringBuilder	unparse(StringBuilder buf, int left, int right)

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

evaluate, toString

Methods inherited from class java.lang.Object

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

Field Details

terms

public final com.google.common.collect.ImmutableList<Sat.Term> terms

Constructor Details

Node

Node(Sat.Op op,
 com.google.common.collect.ImmutableList<Sat.Term> terms)

Method Details

unparse

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

Specified by:

unparse in class Sat.Term