AWUNode (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.AbstractBinaryFormulaNode<L,AP>
    - - net.automatalib.modelchecker.m3c.formula.ctl.AWUNode<L,AP>

Type Parameters:

L - label type

AP - atomic proposition type

All Implemented Interfaces:

Printable, FormulaNode<L,AP>
```
public class AWUNode<L,AP>
extends AbstractBinaryFormulaNode<L,AP>
```
Java representation of an "AWU" (sub-)formula.

Constructor Summary

Constructors
Constructor Description

AWUNode(FormulaNode<L,AP> leftChild, FormulaNode<L,AP> rightChild)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<T> T`	`accept(FormulaNodeVisitor<T,L,AP> visitor)`
`void`	`print(Appendable a)`	Outputs the current object.

Methods inherited from class net.automatalib.modelchecker.m3c.formula.AbstractBinaryFormulaNode
equals, getLeftChild, getRightChild, getVarNumberLeft, getVarNumberRight, hashCode, printBinaryFormulaNode, printUntilNode

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

AWUNode

public AWUNode(FormulaNode<L,AP> leftChild,
               FormulaNode<L,AP> rightChild)

Method Detail
- 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)
```