Uses of Class
net.sf.tweety.logics.pl.syntax.PlBeliefSet

Packages that use PlBeliefSet

Package	Description
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.reasoner
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.pl.writer

Uses of PlBeliefSet in net.sf.tweety.logics.pl.parser

Methods in net.sf.tweety.logics.pl.parser that return PlBeliefSet

Modifier and Type	Method and Description
PlBeliefSet	DimacsParser.parseBeliefBase(Reader reader)
PlBeliefSet	PlParser.parseBeliefBase(Reader reader)

Methods in net.sf.tweety.logics.pl.parser that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
static net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>	PlParserFactory.getParserForFormat(PlParserFactory.Format f) Retrieves an appropriate parser for the given format.

Uses of PlBeliefSet in net.sf.tweety.logics.pl.reasoner

Methods in net.sf.tweety.logics.pl.reasoner with parameters of type PlBeliefSet

Modifier and Type	Method and Description
abstract Boolean	AbstractPropositionalLogicReasoner.query(PlBeliefSet beliefbase, PropositionalFormula formula)
Boolean	SimpleReasoner.query(PlBeliefSet beliefbase, PropositionalFormula formula)
Boolean	SatReasoner.query(PlBeliefSet beliefbase, PropositionalFormula formula)

Uses of PlBeliefSet in net.sf.tweety.logics.pl.sat

Methods in net.sf.tweety.logics.pl.sat that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	SatSolver.getWitness(net.sf.tweety.commons.BeliefSet<PropositionalFormula> bs)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	Sat4jSolver.getWitness(Collection<PropositionalFormula> formulas)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	LingelingSolver.getWitness(Collection<PropositionalFormula> formulas)
abstract net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	SatSolver.getWitness(Collection<PropositionalFormula> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.
net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	SimpleDpllSolver.getWitness(Collection<PropositionalFormula> formulas)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PropositionalFormula>	SatSolver.getWitness(PropositionalFormula formula)

Uses of PlBeliefSet in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.logics.pl.semantics that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
net.sf.tweety.commons.InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
net.sf.tweety.commons.InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)
net.sf.tweety.commons.InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(net.sf.tweety.commons.Signature sig)

Methods in net.sf.tweety.logics.pl.semantics with parameters of type PlBeliefSet

Modifier and Type	Method and Description
boolean	NicePossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	PriestWorld.satisfies(PlBeliefSet beliefBase)
boolean	PossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	FuzzyInterpretation.satisfies(PlBeliefSet beliefBase)

Uses of PlBeliefSet in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return types with arguments of type PlBeliefSet

Modifier and Type	Method and Description
Collection<PlBeliefSet>	PlBeliefSet.getSyntaxComponents() Returns the set of syntax components of this belief set, i.e.

Uses of PlBeliefSet in net.sf.tweety.logics.pl.util

Methods in net.sf.tweety.logics.pl.util that return PlBeliefSet

Modifier and Type	Method and Description
PlBeliefSet	SyntacticEnumeratingIterator.next()
PlBeliefSet	CnfSampler.next()
PlBeliefSet	RandomSampler.next()
PlBeliefSet	RandomSatSampler.next()
PlBeliefSet	CanonicalIterator.next()
PlBeliefSet	MiSampler.next()
PlBeliefSet	HsSampler.next()
PlBeliefSet	ContensionSampler.next()
PlBeliefSet	EnumeratingIterator.next()
PlBeliefSet	SyntacticRandomSampler.next()

Methods in net.sf.tweety.logics.pl.util with parameters of type PlBeliefSet

Modifier and Type	Method and Description
static BitSet	CanonicalIterator.beliefSet2BitSet(PlBeliefSet bs) Creates a bitset representation of the given belief set.

Uses of PlBeliefSet in net.sf.tweety.logics.pl.writer

Constructors in net.sf.tweety.logics.pl.writer with parameters of type PlBeliefSet

Constructor and Description
PlWriter(PlBeliefSet plBeliefSet)