AtomicNode (AutomataLib 0.11.0 API)

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

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>
```
public class AtomicNode<L,AP>
extends AbstractFormulaNode<L,AP>
```
Java representation of an "atomic proposition" (sub-)formula.

Constructor Summary

Constructors
Constructor Description

AtomicNode(AP proposition)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<T> T`	`accept(FormulaNodeVisitor<T,L,AP> visitor)`
`boolean`	`equals(@Nullable Object o)`
`AP`	`getProposition()`
`int`	`hashCode()`
`void`	`print(Appendable a)`	Outputs the current object.

Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractFormulaNode
getVarNumber, setVarNumber

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
toNNF

- Constructor Detail
  - AtomicNode
```
public AtomicNode(AP proposition)
```
- Method Detail
  - getProposition
```
public AP getProposition()
```
  - print
```
public void print(Appendable a)
           throws IOException
```
    Description copied from interface: Printable
    
    Outputs the current object.
    
    Parameters:
    
    a - the appendable.
    
    Throws:
    
    IOException - if an error occurs during appending.
  - accept
```
public <T> T accept(FormulaNodeVisitor<T,L,AP> visitor)
```
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class AbstractFormulaNode<L,AP>
  - equals
```
public boolean equals(@Nullable Object o)
```
    Overrides:
    
    equals in class AbstractFormulaNode<L,AP>