Package | Description |
---|---|
net.sf.tweety.logics.fol.syntax |
Modifier and Type | Class and Description |
---|---|
class |
ExistsQuantifiedFormula |
class |
ForallQuantifiedFormula
For-All quantified formula.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<QuantifiedFormula> |
SpecialFormula.getQuantifiedFormulas() |
java.util.Set<QuantifiedFormula> |
QuantifiedFormula.getQuantifiedFormulas() |