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	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	Description
static net.sf.tweety.commons.Parser<PlBeliefSet,PlFormula>	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	Description
abstract Boolean	AbstractPlReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
Boolean	SatReasoner.query(PlBeliefSet beliefbase, PlFormula formula)
Boolean	SimplePlReasoner.query(PlBeliefSet beliefbase, PlFormula 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	Description
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	LingelingSolver.getWitness(Collection<PlFormula> formulas)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	MaxSatSolver.getWitness(Collection<PlFormula> formulas)
abstract net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	MaxSatSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints)	Returns an interpretation with maximal weight on the soft constraints (or null if the hard constraints are not satisfiable)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	OpenWboSolver.getWitness(Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	Sat4jSolver.getWitness(Collection<PlFormula> formulas)
abstract net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(Collection<PlFormula> 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,PlFormula>	SatSolver.getWitness(net.sf.tweety.commons.BeliefSet<PlFormula,?> bs)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	SatSolver.getWitness(PlFormula formula)
net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula>	SimpleDpllSolver.getWitness(Collection<PlFormula> formulas)

Method parameters in net.sf.tweety.logics.pl.sat with type arguments of type PlBeliefSet

Modifier and Type	Method	Description
static int	MaxSatSolver.costOf(net.sf.tweety.commons.Interpretation<PlBeliefSet,PlFormula> interpretation, Collection<PlFormula> hardConstraints, Map<PlFormula,Integer> softConstraints)	Returns the cost of the given interpretation, i.e.

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	Description
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset()
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)
net.sf.tweety.commons.InterpretationIterator<PlFormula,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	Description
boolean	FuzzyInterpretation.satisfies(PlBeliefSet beliefBase)
boolean	NicePossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	PossibleWorld.satisfies(PlBeliefSet beliefBase)
boolean	PriestWorld.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	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	Description
PlBeliefSet	CanonicalIterator.next()
PlBeliefSet	CnfSampler.next()
PlBeliefSet	ContensionSampler.next()
PlBeliefSet	EnumeratingIterator.next()
PlBeliefSet	HsSampler.next()
PlBeliefSet	MiSampler.next()
PlBeliefSet	RandomSampler.next()
PlBeliefSet	RandomSatSampler.next()
PlBeliefSet	SyntacticEnumeratingIterator.next()
PlBeliefSet	SyntacticRandomSampler.next()	Returns the next belief set
PlBeliefSet	TextfileIterator.next()

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

Modifier and Type	Method	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	Description
PlWriter(PlBeliefSet plBeliefSet)