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

Packages that use ThreeValuedWorld

Package	Description
org.tweetyproject.logics.translators.adfconditional

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

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

Modifier and Type	Method	Description
Collection<ThreeValuedWorld>	FourValuedWorld.getThreeValuedSet()	This method calculates a collection of 3-valued worlds based on this 4-valued world INCONSISTENT atoms are replaced by FALSE or TRUE

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

Modifier and Type	Method	Description
Collection<Collection<PossibleWorld>>	FourValuedWorld.getTwoValuedSetOfSets(Collection<ThreeValuedWorld> coll3V)	This method takes a set of 3-valued worlds and returns a set of sets of 2-valued worlds where undecided atoms are replaced by False or True

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

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