Uses of Class
org.tweetyproject.logics.translators.adfconditional.FourValuedWorld

Packages that use FourValuedWorld

Package	Description
org.tweetyproject.logics.translators.adfconditional

Uses of FourValuedWorld in org.tweetyproject.logics.translators.adfconditional

Fields in org.tweetyproject.logics.translators.adfconditional with type parameters of type FourValuedWorld

Modifier and Type	Field	Description
static Collection<FourValuedWorld>	CADFSemantics.allPossibleWorlds	all possible wworlds

Methods in org.tweetyproject.logics.translators.adfconditional that return FourValuedWorld

Modifier and Type	Method	Description
FourValuedWorld	FourValuedWorldIterator.next()

Methods in org.tweetyproject.logics.translators.adfconditional that return types with arguments of type FourValuedWorld

Modifier and Type	Method	Description
static Collection<FourValuedWorld>	CADFSemantics.gammaOperator(ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig, FourValuedWorld worldInput)	Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation
static Collection<FourValuedWorld>	CADFSemantics.gammaPrimeOperator(Collection<FourValuedWorld> inputCollection, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig)	Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones
static Collection<FourValuedWorld>	FourValuedWorld.reduceToLeastInformativeWorlds(Collection<FourValuedWorld> coll, boolean getMostInformative)	This method returns the least informative world among a collection of FourValuedWorlds
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Signature sig)

Methods in org.tweetyproject.logics.translators.adfconditional with parameters of type FourValuedWorld

Modifier and Type	Method	Description
static Collection<FourValuedWorld>	CADFSemantics.gammaOperator(ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig, FourValuedWorld worldInput)	Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation
static boolean	CADFSemantics.isAdmissible(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds)	Check whether a given world constitutes an admissible interpretation
boolean	FourValuedWorld.isAtLeastAsInformativeAs(FourValuedWorld otherWorld)	This method compares this world to another world by comparing their information-order
static boolean	CADFSemantics.isComplete(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas)	Check whether a given world constitutes a complete interpretation

Method parameters in org.tweetyproject.logics.translators.adfconditional with type arguments of type FourValuedWorld

Modifier and Type	Method	Description
static Collection<FourValuedWorld>	CADFSemantics.gammaPrimeOperator(Collection<FourValuedWorld> inputCollection, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig)	Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones
static boolean	CADFSemantics.isAdmissible(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds)	Check whether a given world constitutes an admissible interpretation
static boolean	CADFSemantics.isComplete(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas)	Check whether a given world constitutes a complete interpretation
static String	FourValuedWorld.printCollection(Collection<FourValuedWorld> coll)	Return the string representation
static Collection<FourValuedWorld>	FourValuedWorld.reduceToLeastInformativeWorlds(Collection<FourValuedWorld> coll, boolean getMostInformative)	This method returns the least informative world among a collection of FourValuedWorlds

Constructors in org.tweetyproject.logics.translators.adfconditional with parameters of type FourValuedWorld

Modifier	Constructor	Description
	FourValuedWorld(FourValuedWorld other)	Creates a new world which is a copy of the given world