Package | Description |
---|---|
net.sf.tweety.logics.fol.syntax |
Modifier and Type | Class and Description |
---|---|
class |
Conjunction
The classical conjunction of first-order logic.
|
class |
Disjunction
The classical disjunction of first-order logic.
|
Modifier and Type | Method and Description |
---|---|
AssociativeFOLFormula |
AssociativeFOLFormula.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> termMap) |
AssociativeFOLFormula |
AssociativeFOLFormula.substitute(Term<?> v,
Term<?> t) |