Uses of Package net.sf.tweety.logics.pl.semantics (Tweety (Propositional Logic) 1.16 API)

Packages that use net.sf.tweety.logics.pl.semantics
Package Description

net.sf.tweety.logics.pl.analysis

net.sf.tweety.logics.pl.semantics

net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.analysis
Class	Description
FuzzyInterpretation	A fuzzy interpretation for propositional logic.
PossibleWorld	This class represents a possible world of propositional logic, i.e.

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.semantics
Class	Description
NicePossibleWorld	Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
PossibleWorld	This class represents a possible world of propositional logic, i.e.
PriestWorld.TruthValue	The three truth values.

Classes in net.sf.tweety.logics.pl.semantics used by net.sf.tweety.logics.pl.syntax
Class Description

PossibleWorld
This class represents a possible world of propositional logic, i.e.