Package | Description |
---|---|
net.sf.tweety.beliefdynamics.mas | |
net.sf.tweety.beliefdynamics.operators |
Class and Description |
---|
AbstractCredibilityComparer
This class provides for auxiliary functions used to compare
formulas and proofs of formulas wrt.
|
InformationObject
This class represents a formula annotated with the source of the formula.
|
Class and Description |
---|
AbstractCredibilityComparer
This class provides for auxiliary functions used to compare
formulas and proofs of formulas wrt.
|
InformationObject
This class represents a formula annotated with the source of the formula.
|