net.sf.tweety.beliefdynamics.operators

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 and Description
CredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas, Order<Agent> credOrder)

Method Summary

Modifier and Type	Method and Description
boolean	isFormerAtLeastAsPreferredAsLatter(PropositionalFormula f, java.util.Collection<PropositionalFormula> formulas)

Methods inherited from class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer

isAtLeastAsPreferredAs, isAtLeastAsPreferredAs, isAtLeastAsPreferredAs

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CredibilityComparer

public CredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
                           Order<Agent> credOrder)

Method Detail

isFormerAtLeastAsPreferredAsLatter

public boolean isFormerAtLeastAsPreferredAsLatter(PropositionalFormula f,
                                                  java.util.Collection<PropositionalFormula> formulas)