| Package | Description | 
|---|---|
| net.sf.tweety.beliefdynamics.mas | |
| net.sf.tweety.beliefdynamics.operators | 
| Modifier and Type | Field and Description | 
|---|---|
private java.util.Collection<InformationObject<PropositionalFormula>> | 
AbstractCredibilityComparer.formulas
The information objects that hold the information which agents
 uttered the formulas. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<InformationObject<T>> | 
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
      java.util.Collection<InformationObject<T>> formulas)  | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<InformationObject<T>> | 
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
      java.util.Collection<InformationObject<T>> formulas)  | 
java.util.Collection<InformationObject<T>> | 
CrMasRevisionWrapper.revise(java.util.Collection<InformationObject<T>> base,
      java.util.Collection<InformationObject<T>> formulas)  | 
| Constructor and Description | 
|---|
AbstractCredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
                           Order<Agent> credOrder)
Creates a new credibility comparer that is guided by the giving information which
 agents uttered the formulas and the credibility order. 
 | 
CredibilityCategorizer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
                      Order<Agent> credOrder)
Creates a new credibility categorizer that is guided by the giving information which
 agents uttered the formulas and the credibility order. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasSimpleRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
java.util.Collection<InformationObject<PropositionalFormula>> | 
CrMasArgumentativeRevisionOperator.revise(java.util.Collection<InformationObject<PropositionalFormula>> base,
      java.util.Collection<InformationObject<PropositionalFormula>> formulas)  | 
| Constructor and Description | 
|---|
CredibilityComparer(java.util.Collection<InformationObject<PropositionalFormula>> formulas,
                   Order<Agent> credOrder)  |