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

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
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(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
Set<Conditional>	ConditionalStructure.getConditionals()
Map<Conditional,ConditionalStructure.Generator>	ConditionalStructure.getWorldGenerators(net.sf.tweety.logics.pl.semantics.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(net.sf.tweety.logics.pl.semantics.PossibleWorld w, Conditional c)	Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
Map<net.sf.tweety.logics.pl.semantics.NicePossibleWorld,ConditionalStructure.Generator>	ConditionalStructure.getConditionalGenerators(Conditional conditional)	Processes the Map form PossibleWorlds to the Generators of the given Conditional
List<net.sf.tweety.logics.pl.semantics.NicePossibleWorld>	ConditionalStructure.getFalsifiyingWorlds(Conditional cond)
List<net.sf.tweety.logics.pl.semantics.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(net.sf.tweety.logics.pl.semantics.PossibleWorld w, Conditional c)	Checks whether the given possible world w satisfies the given conditional (B|A), i.e.
static boolean	RankingFunction.verifies(net.sf.tweety.logics.pl.semantics.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(Collection<Conditional> conditionals)	Ctor: generates a conditional structure containing the given conditionals
ConditionalStructure(Collection<Conditional> conditionals, Comparator<net.sf.tweety.logics.pl.semantics.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(Collection<? extends Conditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.