Package | Description |
---|---|
net.sf.tweety.beliefdynamics.gui |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<RevisionComparePresenter.MockFormula> |
RevisionComparePresenter.MockOperator.revise(java.util.Collection<RevisionComparePresenter.MockFormula> base,
RevisionComparePresenter.MockFormula formula) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<RevisionComparePresenter.MockFormula> |
RevisionComparePresenter.MockOperator.revise(java.util.Collection<RevisionComparePresenter.MockFormula> base,
RevisionComparePresenter.MockFormula formula) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<RevisionComparePresenter.MockFormula> |
RevisionComparePresenter.MockOperator.revise(java.util.Collection<RevisionComparePresenter.MockFormula> base,
RevisionComparePresenter.MockFormula formula) |