Uses of Class
net.sf.tweety.logics.cl.syntax.Conditional

Packages that use Conditional

Package	Description
net.sf.tweety.logics.cl.kappa
net.sf.tweety.logics.cl.parser
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pcl.semantics
net.sf.tweety.logics.pcl.syntax
net.sf.tweety.logics.translators.clnlp

Uses of Conditional in net.sf.tweety.logics.cl.kappa

Methods in net.sf.tweety.logics.cl.kappa that return types with arguments of type Conditional

Modifier and Type	Method	Description
java.util.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 net.sf.tweety.logics.cl.kappa with parameters of type Conditional

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

Uses of Conditional in net.sf.tweety.logics.cl.parser

Methods in net.sf.tweety.logics.cl.parser that return Conditional

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

Uses of Conditional in net.sf.tweety.logics.cl.semantics

Methods in net.sf.tweety.logics.cl.semantics that return types with arguments of type Conditional

Modifier and Type	Method	Description
java.util.Set<Conditional>	ConditionalStructure.getConditionals()
java.util.Map<Conditional,ConditionalStructure.Generator>	ConditionalStructure.getWorldGenerators(NicePossibleWorld world)	Processes the map from Conditionals to Generators for a given PossibleWorld

Methods in net.sf.tweety.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.
java.util.Map<NicePossibleWorld,ConditionalStructure.Generator>	ConditionalStructure.getConditionalGenerators(Conditional conditional)	Processes the Map form PossibleWorlds to the Generators of the given Conditional
java.util.List<NicePossibleWorld>	ConditionalStructure.getFalsifiyingWorlds(Conditional cond)
java.util.List<NicePossibleWorld>	ConditionalStructure.getVerifyingWorlds(Conditional cond)
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 net.sf.tweety.logics.cl.semantics with type arguments of type Conditional

Constructor	Description
ConditionalStructure(java.util.Collection<Conditional> conditionals)	Ctor: generates a conditional structure containing the given conditionals
ConditionalStructure(java.util.Collection<Conditional> conditionals, java.util.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 net.sf.tweety.logics.cl.syntax

Methods in net.sf.tweety.logics.cl.syntax that return Conditional

Modifier and Type	Method	Description
Conditional	Conditional.clone()
Conditional	Conditional.complement()

Constructor parameters in net.sf.tweety.logics.cl.syntax with type arguments of type Conditional

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

Uses of Conditional in net.sf.tweety.logics.pcl.semantics

Methods in net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax

Subclasses of Conditional in net.sf.tweety.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 net.sf.tweety.logics.pcl.syntax with parameters of type Conditional

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

Uses of Conditional in net.sf.tweety.logics.translators.clnlp

Methods in net.sf.tweety.logics.translators.clnlp that return Conditional

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