| Package | Description |
|---|---|
| net.sf.tweety.logics.commons.syntax.interfaces |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ClassicalFormula
This interface models a classical formula, i.e.
|
| Modifier and Type | Method and Description |
|---|---|
Invertable |
Invertable.complement() |
Copyright © 2016. All rights reserved.