AbstractFormulaNode (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.common.util.string.AbstractPrintable
- - net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>

Direct Known Subclasses:

AbstractBinaryFormulaNode, AbstractUnaryFormulaNode, AtomicNode, FalseNode, TrueNode, VariableNode
```
public abstract class AbstractFormulaNode<L,AP>
extends AbstractPrintable
implements FormulaNode<L,AP>
```
Abstract super-class for (sub-) formulas.

Constructor Summary

Constructors
Constructor Description

AbstractFormulaNode()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(@Nullable Object o)`
`int`	`getVarNumber()`
`int`	`hashCode()`
`void`	`setVarNumber(int varNumber)`

Methods inherited from class net.automatalib.common.util.string.AbstractPrintable
toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.automatalib.modelchecker.m3c.formula.FormulaNode
accept, toNNF

Methods inherited from interface net.automatalib.common.util.string.Printable
print

- Constructor Detail
  - AbstractFormulaNode
```
public AbstractFormulaNode()
```
- Method Detail
  - getVarNumber
```
public int getVarNumber()
```
    Specified by:
    
    getVarNumber in interface FormulaNode<L,AP>
  - setVarNumber
```
public void setVarNumber(int varNumber)
```
    Specified by:
    
    setVarNumber in interface FormulaNode<L,AP>
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(@Nullable Object o)
```
    Overrides:
    
    equals in class Object