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

Packages that use Conditional

Package	Description
net.sf.tweety.logics.cl
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

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

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

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 and 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 and 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 and 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 and 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 and 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.
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 and 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 and Description
Conditional	Conditional.clone()
Conditional	Conditional.complement()