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

Packages that use Proposition

Package	Description
net.sf.tweety.action.query.syntax
net.sf.tweety.agents.dialogues.structured
net.sf.tweety.arg.adf.reasoner.sat.encodings
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.adf.transform
net.sf.tweety.arg.saf.reasoner
net.sf.tweety.arg.saf.syntax
net.sf.tweety.logics.cl.semantics
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pl.sat
net.sf.tweety.logics.pl.semantics
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.qbf.semantics
net.sf.tweety.logics.qbf.syntax
net.sf.tweety.logics.qbf.writer
net.sf.tweety.logics.translators.folprop

Uses of Proposition in net.sf.tweety.action.query.syntax

Subclasses of Proposition in net.sf.tweety.action.query.syntax

Modifier and Type	Class	Description
class	AlwaysQuery	This class represents an always query in the action query language S.
class	HoldsQuery	This class represents a holds query in the action query language S.
class	NecessarilyQuery	This class represents a necessarily query in the action query language S.
class	QueryProposition	Action queries are represented as propositional formulas with three possible types of propositions: holds, always and necessarily propositions.

Uses of Proposition in net.sf.tweety.agents.dialogues.structured

Method parameters in net.sf.tweety.agents.dialogues.structured with type arguments of type Proposition

Modifier and Type	Method	Description
int	CountingUtilityFunction.rank(java.util.Collection<? extends Proposition> propositions)
int	IndicatorUtilityFunction.rank(java.util.Collection<? extends Proposition> propositions)
int	MultipleIndicatorUtilityFunction.rank(java.util.Collection<? extends Proposition> propositions)
int	SasAgent.rank(java.util.Collection<? extends Proposition> propositions)	Ranks the given collection of propositions wrt.
int	UtilityFunction.rank(java.util.Collection<? extends Proposition> propositions)	Rank the given collection of propositions.

Constructors in net.sf.tweety.agents.dialogues.structured with parameters of type Proposition

Constructor	Description
CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)	Creates a new agent with the given (local) view and utility function.
CautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)	Creates a new (non-single-step) agent with the given (local) view and utility function.
IndicatorUtilityFunction(Proposition focalElement)	Creates a new indicator utility function for the given focal element.
OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, boolean isSingleStep, Proposition focalElement)	Creates a new agent with the given (local) view and utility function.
OvercautiousArgumentationAgent(StructuredArgumentationFramework view, UtilityFunction utility, Proposition focalElement)	Creates a new (non-single-step) agent with the given (local) view and utility function.

Constructor parameters in net.sf.tweety.agents.dialogues.structured with type arguments of type Proposition

Constructor	Description
CountingUtilityFunction(java.util.Collection<? extends Proposition> focalSet)	Creates a new counting utility function for the given focal set.
MultipleIndicatorUtilityFunction(java.util.Collection<? extends Proposition> focalSet)	Creates a new multiple indicator utility function for the given focal set.

Uses of Proposition in net.sf.tweety.arg.adf.reasoner.sat.encodings

Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings that return Proposition

Modifier and Type	Method	Description
Proposition	PropositionalMapping.getFalse(Argument argument)
Proposition	PropositionalMapping.getLink(Link link)
Proposition	PropositionalMapping.getLink(Argument from, Argument to)
Proposition	PropositionalMapping.getTrue(Argument argument)

Constructors in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type Proposition

Constructor	Description
FixPartialSatEncoding(Interpretation interpretation, Proposition toggle)
LargerInterpretationSatEncoding(Interpretation interpretation, Proposition toggle)
VerifyAdmissibleSatEncoding(Interpretation interpretation, Proposition toggle)

Uses of Proposition in net.sf.tweety.arg.adf.sat

Methods in net.sf.tweety.arg.adf.sat with parameters of type Proposition

Modifier and Type	Method	Description
void	AsynchronousCloseSatSolverState.assume(Proposition proposition, boolean value)
void	AsynchronousSatSolverState.assume(Proposition proposition, boolean value)
void	SatSolverState.assume(Proposition proposition, boolean value)	Assumes the truth value of the given proposition for the next call to SatSolverState.satisfiable().
void	SimpleSatSolverState.assume(Proposition proposition, boolean value)

Uses of Proposition in net.sf.tweety.arg.adf.transform

Method parameters in net.sf.tweety.arg.adf.transform with type arguments of type Proposition

Modifier and Type	Method	Description
static TseitinTransformer.Builder	TseitinTransformer.builder(java.util.function.Function<Argument,Proposition> argumentMapping)
static TseitinTransformer.Builder	TseitinTransformer.builder(java.util.Map<Argument,Proposition> argumentMapping)

Constructor parameters in net.sf.tweety.arg.adf.transform with type arguments of type Proposition

Constructor	Description
Builder(java.util.function.Function<Argument,Proposition> argumentMapping)
PropositionalTransformer(java.util.function.Function<Argument,Proposition> argumentMapping)

Uses of Proposition in net.sf.tweety.arg.saf.reasoner

Methods in net.sf.tweety.arg.saf.reasoner that return types with arguments of type Proposition

Modifier and Type	Method	Description
java.util.Set<Proposition>	OutputReasoner.getOutput(StructuredArgumentationFramework saf)	Returns the output this reasoner bases upon.

Methods in net.sf.tweety.arg.saf.reasoner with parameters of type Proposition

Modifier and Type	Method	Description
java.lang.Boolean	OutputReasoner.query(StructuredArgumentationFramework beliefbase, Proposition formula)

Uses of Proposition in net.sf.tweety.arg.saf.syntax

Methods in net.sf.tweety.arg.saf.syntax that return Proposition

Modifier and Type	Method	Description
Proposition	ArgumentStructure.getClaim()	Returns the claim of this argument structure, i.e.
Proposition	BasicArgument.getConclusion()

Methods in net.sf.tweety.arg.saf.syntax that return types with arguments of type Proposition

Modifier and Type	Method	Description
java.util.Collection<Proposition>	StructuredArgumentationFramework.getAllPropositions()
java.util.Set<Proposition>	BasicArgument.getPremise()

Methods in net.sf.tweety.arg.saf.syntax with parameters of type Proposition

Modifier and Type	Method	Description
void	BasicArgument.addPremise(Proposition premise)
void	BasicArgument.setConclusion(Proposition conclusion)

Method parameters in net.sf.tweety.arg.saf.syntax with type arguments of type Proposition

Modifier and Type	Method	Description
void	BasicArgument.addPremises(java.util.Collection<? extends Proposition> premises)

Constructors in net.sf.tweety.arg.saf.syntax with parameters of type Proposition

Constructor	Description
BasicArgument(Proposition claim)	Creates a new basic argument with the given claim and empty support.
BasicArgument(Proposition claim, java.util.Set<Proposition> support)	Creates a new basic argument with the given claim and the given support.

Constructor parameters in net.sf.tweety.arg.saf.syntax with type arguments of type Proposition

Constructor	Description
BasicArgument(Proposition claim, java.util.Set<Proposition> support)	Creates a new basic argument with the given claim and the given support.

Uses of Proposition in net.sf.tweety.logics.cl.semantics

Methods in net.sf.tweety.logics.cl.semantics that return types with arguments of type Proposition

Modifier and Type	Method	Description
java.util.Collection<Proposition>	ConditionalStructure.getSignature()

Method parameters in net.sf.tweety.logics.cl.semantics with type arguments of type Proposition

Modifier and Type	Method	Description
void	ConditionalStructure.setWorldRepresentation(java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)	Changes the internal representations of the worlds, normally the propositions of a world are ordered alphabetically but this behavior can be changed using this method.

Uses of Proposition in net.sf.tweety.logics.cl.syntax

Methods in net.sf.tweety.logics.cl.syntax that return types with arguments of type Proposition

Modifier and Type	Method	Description
java.util.Set<Proposition>	Conditional.getAtoms()

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

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

Modifier and Type	Method	Description
static java.lang.String	SatSolver.convertToDimacs(java.util.Collection<PlFormula> formulas, java.util.List<Proposition> props)	Converts the given set of formulas to their string representation in Dimacs CNF.

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

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

Modifier and Type	Method	Description
java.util.Set<java.util.Map.Entry<Proposition,java.lang.Double>>	FuzzyInterpretation.entrySet()
java.util.Collection<Proposition>	PriestWorld.getBinarybase()	Returns the binary base of this world, i.e.
java.util.Collection<Proposition>	PriestWorld.getConflictbase()	Returns the conflict base of this world, i.e.
java.util.Set<Pair<Proposition,java.lang.Boolean>>	NicePossibleWorld.getRepresentationStructure()
java.util.Set<Proposition>	FuzzyInterpretation.keySet()

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

Modifier and Type	Method	Description
PriestWorld.TruthValue	PriestWorld.get(Proposition p)	Returns the truth value of the given proposition.
java.lang.Double	FuzzyInterpretation.put(Proposition arg0, java.lang.Double arg1)
void	PriestWorld.set(Proposition p, PriestWorld.TruthValue val)	Sets the value of the given proposition.

Method parameters in net.sf.tweety.logics.pl.semantics with type arguments of type Proposition

Modifier and Type	Method	Description
int	NicePossibleWorld.compare(Pair<Proposition,java.lang.Boolean> o1, Pair<Proposition,java.lang.Boolean> o2)
static java.util.Set<NicePossibleWorld>	NicePossibleWorld.getAllPossibleWorlds(java.util.Collection<Proposition> signature)
static java.util.Set<PossibleWorld>	PossibleWorld.getAllPossibleWorlds(java.util.Collection<Proposition> signature)	Returns the set of all possible worlds for the given propositional signature.
void	FuzzyInterpretation.putAll(java.util.Map<? extends Proposition,? extends java.lang.Double> arg0)
void	NicePossibleWorld.setComparator(java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)	Changes the used comparator to sort the representation structure and resorts the representation.
boolean	NicePossibleWorld.setSignature(java.util.Collection<Proposition> signature)	Changes the signature of the world.

Constructor parameters in net.sf.tweety.logics.pl.semantics with type arguments of type Proposition

Constructor	Description
NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature)	Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.
NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature, java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)	Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.
NicePossibleWorld(java.util.Collection<Proposition> trueInWorld, java.util.Collection<Proposition> signature, java.util.Comparator<Pair<Proposition,java.lang.Boolean>> comparator)	Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.
PossibleWorld(java.util.Collection<? extends Proposition> propositions)	Creates a new possible world with the given set of propositions.

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

Methods in net.sf.tweety.logics.pl.syntax that return Proposition

Modifier and Type	Method	Description
Proposition	Proposition.clone()

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

Modifier and Type	Method	Description
java.util.Set<Proposition>	AssociativePlFormula.getAtoms()
java.util.Set<Proposition>	Equivalence.getAtoms()
java.util.Set<Proposition>	Implication.getAtoms()
java.util.Set<Proposition>	Negation.getAtoms()
abstract java.util.Set<Proposition>	PlFormula.getAtoms()
java.util.Set<Proposition>	Proposition.getAtoms()
java.util.Set<Proposition>	SpecialFormula.getAtoms()

Methods in net.sf.tweety.logics.pl.syntax with parameters of type Proposition

Modifier and Type	Method	Description
int	Proposition.compareTo(Proposition o)
int	AssociativePlFormula.numberOfOccurrences(Proposition p)
int	Equivalence.numberOfOccurrences(Proposition p)
int	Implication.numberOfOccurrences(Proposition p)
int	Negation.numberOfOccurrences(Proposition p)
abstract int	PlFormula.numberOfOccurrences(Proposition p)	Returns the number of occurrences of the given proposition within this formula
int	Proposition.numberOfOccurrences(Proposition p)
int	SpecialFormula.numberOfOccurrences(Proposition p)
PlFormula	Conjunction.replace(Proposition p, PlFormula f, int i)
PlFormula	Disjunction.replace(Proposition p, PlFormula f, int i)
PlFormula	Equivalence.replace(Proposition p, PlFormula f, int i)
PlFormula	ExclusiveDisjunction.replace(Proposition p, PlFormula f, int i)
PlFormula	Implication.replace(Proposition p, PlFormula f, int i)
PlFormula	Negation.replace(Proposition p, PlFormula f, int i)
abstract PlFormula	PlFormula.replace(Proposition p, PlFormula f, int i)	Replaces the ith instance of the proposition p by f.
PlFormula	Proposition.replace(Proposition p, PlFormula f, int i)
PlFormula	SpecialFormula.replace(Proposition p, PlFormula f, int i)

Constructors in net.sf.tweety.logics.pl.syntax with parameters of type Proposition

Constructor	Description
Proposition(Proposition other)

Constructor parameters in net.sf.tweety.logics.pl.syntax with type arguments of type Proposition

Constructor	Description
PlSignature(java.util.Collection<? extends Proposition> propositions)	Creates a new propositional signature with the given set of propositions.

Uses of Proposition in net.sf.tweety.logics.qbf.semantics

Methods in net.sf.tweety.logics.qbf.semantics with parameters of type Proposition

Modifier and Type	Method	Description
java.util.Set<PlFormula>	QbPossibleWorld.substitute(PlFormula f, Proposition v)	Substitutes all occurrences of the proposition v with the possible truth values and returns a set of the possible substitutions.

Method parameters in net.sf.tweety.logics.qbf.semantics with type arguments of type Proposition

Modifier and Type	Method	Description
static java.util.Set<QbPossibleWorld>	QbPossibleWorld.getAllPossibleWorlds(java.util.Collection<Proposition> signature)	Returns the set of all possible worlds for the given propositional signature.

Constructor parameters in net.sf.tweety.logics.qbf.semantics with type arguments of type Proposition

Constructor	Description
QbPossibleWorld(java.util.Collection<? extends Proposition> propositions)	Creates a new possible world with the given set of propositions.

Uses of Proposition in net.sf.tweety.logics.qbf.syntax

Methods in net.sf.tweety.logics.qbf.syntax that return types with arguments of type Proposition

Modifier and Type	Method	Description
java.util.Set<Proposition>	ExistsQuantifiedFormula.getAtoms()
java.util.Set<Proposition>	ForallQuantifiedFormula.getAtoms()
java.util.Set<Proposition>	ExistsQuantifiedFormula.getQuantifierVariables()
java.util.Set<Proposition>	ForallQuantifiedFormula.getQuantifierVariables()

Methods in net.sf.tweety.logics.qbf.syntax with parameters of type Proposition

Modifier and Type	Method	Description
int	ExistsQuantifiedFormula.numberOfOccurrences(Proposition p)
int	ForallQuantifiedFormula.numberOfOccurrences(Proposition p)
PlFormula	ExistsQuantifiedFormula.replace(Proposition p, PlFormula f, int i)
PlFormula	ForallQuantifiedFormula.replace(Proposition p, PlFormula f, int i)

Constructors in net.sf.tweety.logics.qbf.syntax with parameters of type Proposition

Constructor	Description
ExistsQuantifiedFormula(PlFormula f, Proposition variable)	Create a new existential boolean quantification.
ForallQuantifiedFormula(PlFormula f, Proposition variable)	Create a new universal boolean quantification.

Constructor parameters in net.sf.tweety.logics.qbf.syntax with type arguments of type Proposition

Constructor	Description
ExistsQuantifiedFormula(PlFormula f, java.util.Set<Proposition> variables)	Create a new existential boolean quantification.
ForallQuantifiedFormula(PlFormula f, java.util.Set<Proposition> variables)	Create a new universal boolean quantification.

Uses of Proposition in net.sf.tweety.logics.qbf.writer

Method parameters in net.sf.tweety.logics.qbf.writer with type arguments of type Proposition

Modifier and Type	Method	Description
java.lang.String	QdimacsWriter.printVariables(java.util.Set<Proposition> vars, java.util.List<Proposition> mappings)
java.lang.String	QdimacsWriter.printVariables(java.util.Set<Proposition> vars, java.util.List<Proposition> mappings)

Uses of Proposition in net.sf.tweety.logics.translators.folprop

Methods in net.sf.tweety.logics.translators.folprop that return Proposition

Modifier and Type	Method	Description
Proposition	FOLPropTranslator.toPropositional(FolAtom atom)	Translates the given FOL-Atom into a Proposition

Methods in net.sf.tweety.logics.translators.folprop with parameters of type Proposition

Modifier and Type	Method	Description
FolAtom	FOLPropTranslator.toFOL(Proposition proposition)	Translates the given proposition into a FOL-Atom