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 and 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 and 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 and Description
java.util.Collection<RevisionComparePresenter.MockFormula>	RevisionComparePresenter.MockOperator.revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)