LabelledAig (owl 21.0 API)

java.lang.Object
- owl.game.output.LabelledAig

public abstract class LabelledAig
extends Object

Constructor Summary

Constructors
Constructor Description

LabelledAig()

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract Aig`	`aig()`
`LabelledAig`	`flip()`
`abstract boolean`	`isNegated()`
`static LabelledAig`	`of(Aig aig)`
`static LabelledAig`	`of(Aig aig, boolean negated)`

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

Constructor Detail
- LabelledAig
```
public LabelledAig()
```

Method Detail

aig
```
public abstract Aig aig()
```

isNegated
```
public abstract boolean isNegated()
```

of

public static LabelledAig of(Aig aig)

of

public static LabelledAig of(Aig aig,
                             boolean negated)

flip
```
public LabelledAig flip()
```