Uses of Class
net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
-
Packages that use RevisionComparePresenter.MockFormula Package Description net.sf.tweety.beliefdynamics.gui -
-
Uses of RevisionComparePresenter.MockFormula in net.sf.tweety.beliefdynamics.gui
Methods in net.sf.tweety.beliefdynamics.gui that return types with arguments of type RevisionComparePresenter.MockFormula Modifier and Type Method Description java.util.Collection<RevisionComparePresenter.MockFormula>
RevisionComparePresenter.MockOperator. revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)
Methods in net.sf.tweety.beliefdynamics.gui with parameters of type RevisionComparePresenter.MockFormula Modifier and Type Method Description java.util.Collection<RevisionComparePresenter.MockFormula>
RevisionComparePresenter.MockOperator. revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)
Method parameters in net.sf.tweety.beliefdynamics.gui with type arguments of type RevisionComparePresenter.MockFormula Modifier and Type Method Description java.util.Collection<RevisionComparePresenter.MockFormula>
RevisionComparePresenter.MockOperator. revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)
-