Sat.Node (morel 0.3.0 API)

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

terms

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

Constructor Detail

Node

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

Method Detail

unparse

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

Specified by:: unparse in class Sat.Term