public class CrMasSimpleRevisionOperator extends MultipleBaseRevisionOperator<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>
| Constructor and Description |
|---|
CrMasSimpleRevisionOperator() |
| Modifier and Type | Method and Description |
|---|---|
Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> |
revise(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> base,
Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> formulas)
Revises the first collection of formulas by the second collection of formulas.
|
revisepublic Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> revise(Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> base, Collection<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>> formulas)
MultipleBaseRevisionOperatorrevise in class MultipleBaseRevisionOperator<InformationObject<net.sf.tweety.logics.pl.syntax.PropositionalFormula>>base - some collection of formulas.formulas - some formulas.Copyright © 2018. All rights reserved.