Class CrMasSimpleRevisionOperator.CredibilityComparer
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
-
- net.sf.tweety.beliefdynamics.operators.CrMasSimpleRevisionOperator.CredibilityComparer
-
- Enclosing class:
- CrMasSimpleRevisionOperator
private class CrMasSimpleRevisionOperator.CredibilityComparer extends AbstractCredibilityComparer
Private extension of credibility comparer- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description CredibilityComparer(java.util.Collection<InformationObject<PlFormula>> formulas, Order<Agent> credOrder)
-
Method Summary
Modifier and Type Method Description boolean
isFormerAtLeastAsPreferredAsLatter(PlFormula f, java.util.Collection<PlFormula> formulas)
-
Methods inherited from class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
isAtLeastAsPreferredAs, isAtLeastAsPreferredAs, isAtLeastAsPreferredAs
-
-
-
-
Constructor Detail
-
CredibilityComparer
public CredibilityComparer(java.util.Collection<InformationObject<PlFormula>> formulas, Order<Agent> credOrder)
-
-