Uses of Class
org.tweetyproject.logics.cl.syntax.Conditional

Packages that use Conditional

Package	Description
org.tweetyproject.logics.cl.kappa
org.tweetyproject.logics.cl.parser
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.pcl.semantics
org.tweetyproject.logics.pcl.syntax
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.logics.translators.clnlp

Uses of Conditional in org.tweetyproject.logics.cl.kappa

Methods in org.tweetyproject.logics.cl.kappa that return types with arguments of type Conditional

Modifier and Type	Method	Description
Map<Conditional,KappaValue>	ConditionalStructureKappaBuilder.build(ConditionalStructure structure)	This builds a map of conditionals to KappaValue instances which represent the penalty term for a falsified conditional

Constructors in org.tweetyproject.logics.cl.kappa with parameters of type Conditional

Modifier	Constructor	Description
	KappaValue(int index, Conditional cond)	Ctor: Generates a kappa value for the given Conditional with the given index.

Uses of Conditional in org.tweetyproject.logics.cl.parser

Methods in org.tweetyproject.logics.cl.parser that return Conditional

Modifier and Type	Method	Description
Conditional	ClParser.parseFormula(Reader reader)

Uses of Conditional in org.tweetyproject.logics.cl.semantics

Methods in org.tweetyproject.logics.cl.semantics that return types with arguments of type Conditional

Modifier and Type	Method	Description
Set<Conditional>	ConditionalStructure.getConditionals()	Return An unmodifiable set of all conditionals in this ConditionalStructure
Map<Conditional,ConditionalStructure.Generator>	ConditionalStructure.getWorldGenerators(NicePossibleWorld world)	Processes the map from Conditionals to Generators for a given PossibleWorld

Methods in org.tweetyproject.logics.cl.semantics with parameters of type Conditional

Modifier and Type	Method	Description
boolean	ConditionalStructure.addConditional(Conditional cond)	Adds the given Conditional to the ConditionalStructure and updates the structure.
static boolean	RankingFunction.falsifies(PossibleWorld w, Conditional c)	Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
Map<NicePossibleWorld,ConditionalStructure.Generator>	ConditionalStructure.getConditionalGenerators(Conditional conditional)	Processes the Map form PossibleWorlds to the Generators of the given Conditional
List<NicePossibleWorld>	ConditionalStructure.getFalsifiyingWorlds(Conditional cond)	Retrieves an unmodifiable list of possible worlds that falsify the given conditional.
List<NicePossibleWorld>	ConditionalStructure.getVerifyingWorlds(Conditional cond)	Retrieves an unmodifiable list of possible worlds that verify the given conditional.
boolean	ConditionalStructure.removeConditional(Conditional cond)	Removes the given Conditional from the ConditionalStructure and updates the structure.
boolean	RankingFunction.satisfies(Conditional formula)
static boolean	RankingFunction.satisfies(PossibleWorld w, Conditional c)	Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
static boolean	RankingFunction.verifies(PossibleWorld w, Conditional c)	Checks whether the given possible world w verifies the given conditional (B|A), i.e.

Constructor parameters in org.tweetyproject.logics.cl.semantics with type arguments of type Conditional

Modifier	Constructor	Description
	ConditionalStructure(Collection<Conditional> conditionals)	Ctor: generates a conditional structure containing the given conditionals
	ConditionalStructure(Collection<Conditional> conditionals, Comparator<NicePossibleWorld> comparator)	Ctor: Generates a ConditionalStructure containing the given conditionals and using the given comparator to sort the worldData map.

Uses of Conditional in org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return Conditional

Modifier and Type	Method	Description
Conditional	Conditional.clone()
Conditional	Conditional.complement()	Returns the complement of this conditional.

Constructor parameters in org.tweetyproject.logics.cl.syntax with type arguments of type Conditional

Modifier	Constructor	Description
	ClBeliefSet(Collection<? extends Conditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.

Uses of Conditional in org.tweetyproject.logics.pcl.semantics

Methods in org.tweetyproject.logics.pcl.semantics with parameters of type Conditional

Modifier and Type	Method	Description
Probability	ProbabilityDistribution.conditionalProbability(Conditional c)	Returns the probability of the given conditional

Uses of Conditional in org.tweetyproject.logics.pcl.syntax

Subclasses of Conditional in org.tweetyproject.logics.pcl.syntax

Modifier and Type	Class	Description
class	ProbabilisticConditional	This class represents a probabilistic conditional of the form (B|A)[p] with formulas A,B and a probability p.

Constructors in org.tweetyproject.logics.pcl.syntax with parameters of type Conditional

Modifier	Constructor	Description
	ProbabilisticConditional(Conditional conditional, Probability probability)	Creates a new probabilistic conditional using the given conditional and probability.

Uses of Conditional in org.tweetyproject.logics.translators.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type Conditional

Modifier and Type	Method	Description
static boolean	RankingFunctionThreeValued.falsifies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
boolean	RankingFunctionThreeValued.satisfies(Conditional formula)
static boolean	RankingFunctionThreeValued.satisfies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
static boolean	RankingFunctionThreeValued.verifies(PriestWorldAdapted w, Conditional c)	Checks whether the given possible world w verifies the given conditional (B|A), i.e.

Uses of Conditional in org.tweetyproject.logics.translators.clnlp

Methods in org.tweetyproject.logics.translators.clnlp that return Conditional

Modifier and Type	Method	Description
Conditional	ClNLPTranslator.toCl(NLPRule rule)	Translates the given NLP-rule into a conditional.