Uses of Class
org.tweetyproject.commons.util.Pair

Packages that use Pair

Package	Description
org.tweetyproject.agents.dialogues.oppmodels
org.tweetyproject.arg.dung.divisions
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.commons.util
org.tweetyproject.logics.cl.semantics
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.mln.examples
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Uses of Pair in org.tweetyproject.agents.dialogues.oppmodels

Methods in org.tweetyproject.agents.dialogues.oppmodels that return Pair

Modifier and Type	Method	Description
Pair<Double,Set<ExecutableExtension>>	T1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension<DungTheory>> trace)

Uses of Pair in org.tweetyproject.arg.dung.divisions

Subclasses of Pair in org.tweetyproject.arg.dung.divisions

Modifier and Type	Class	Description
class	Division	A pair <P,V> is a division of AAF G w.r.t.

Uses of Pair in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner that return Pair

Modifier and Type	Method	Description
Pair<Boolean,Extension<DungTheory>>	ProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)

Uses of Pair in org.tweetyproject.arg.rankings.reasoner

Methods in org.tweetyproject.arg.rankings.reasoner that return Pair

Modifier and Type	Method	Description
Pair<int[],int[]>	TuplesRankingReasoner.computeTupledValue(Argument a, DungTheory kb)	Computes the tupled value for the given argument.

Methods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type Pair

Modifier and Type	Method	Description
Map<Argument,Pair<int[],int[]>>	TuplesRankingReasoner.getTupledValues()	Return the tupled values computed by previous calls of getModel

Uses of Pair in org.tweetyproject.commons.util

Methods in org.tweetyproject.commons.util that return Pair

Modifier and Type	Method	Description
static Pair<Double,Double>	MathTools.averageAndVariance(Collection<Double> values)	Compute the average value and the variance of the given list of numbers.

Uses of Pair in org.tweetyproject.logics.cl.semantics

Method parameters in org.tweetyproject.logics.cl.semantics with type arguments of type Pair

Modifier and Type	Method	Description
void	ConditionalStructure.setWorldRepresentation(Comparator<Pair<Proposition,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 Pair in org.tweetyproject.logics.commons.analysis

Methods in org.tweetyproject.logics.commons.analysis that return types with arguments of type Pair

Modifier and Type	Method	Description
List<Pair<String,U>>	InconsistencyMeasureEvaluator.getDatasetWithNames()

Uses of Pair in org.tweetyproject.logics.dl.semantics

Methods in org.tweetyproject.logics.dl.semantics that return types with arguments of type Pair

Modifier and Type	Method	Description
Set<Pair<Individual,Individual>>	DlInterpretation.getRoleDomain(AtomicRole r)	Returns the subset of the domain that belongs to the given role (i.e.

Uses of Pair in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return Pair

Modifier and Type	Method	Description
Pair<ComplexConcept,ComplexConcept>	EquivalenceAxiom.getFormulas()	Return the formulas
Pair<AtomicRole,ComplexConcept>	ExistentialRestriction.getFormulas()	Return the (atomic) role and the concept that are part of the existential restriction.
Pair<AtomicRole,ComplexConcept>	UniversalRestriction.getFormulas()	Return the (atomic) role and the concept that are part of the universal restriction.
Pair<Individual,Individual>	RoleAssertion.getIndividuals()	Return the individuals of this assertional axiom

Constructors in org.tweetyproject.logics.dl.syntax with parameters of type Pair

Modifier	Constructor	Description
	ExistentialRestriction(Pair<AtomicRole,ComplexConcept> f)	Constructor
	RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)	Initializes a role assertion with the given role and individuals.

Uses of Pair in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return Pair

Modifier and Type	Method	Description
Pair<RelationalFormula,RelationalFormula>	Equivalence.getFormulas()	Returns the formulas of the equivalence.
Pair<RelationalFormula,RelationalFormula>	Implication.getFormulas()	Returns the formulas of the implication.

Methods in org.tweetyproject.logics.fol.syntax with parameters of type Pair

Modifier and Type	Method	Description
void	Equivalence.setFormulas(Pair<RelationalFormula,RelationalFormula> formulas)	Sets the formulas of the equivalence.
void	Implication.setFormulas(Pair<RelationalFormula,RelationalFormula> formulas)	Sets the formulas of the implication.

Constructors in org.tweetyproject.logics.fol.syntax with parameters of type Pair

Modifier	Constructor	Description
	Equivalence(Pair<RelationalFormula,RelationalFormula> formulas)	Creates a new equivalence with the given pair of formulas
	Implication(Pair<RelationalFormula,RelationalFormula> formulas)	Creates a new implication with the given pair of formulas

Uses of Pair in org.tweetyproject.logics.ml.semantics

Constructor parameters in org.tweetyproject.logics.ml.semantics with type arguments of type Pair

Modifier	Constructor	Description
	AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)	Constructs a new accessibility relation.

Uses of Pair in org.tweetyproject.logics.mln.examples

Methods in org.tweetyproject.logics.mln.examples that return Pair

Modifier and Type	Method	Description
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.CommonColdExample(int domain_size)	Constructs the Common Cold MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)	Constructs the Elephant Zoo Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)	Generates a pair of a MarkovLogicNetwork and a FolSignature based on the example number.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()	Constructs the Nixon1 MLN example, which represents a scenario with Quakers, Republicans, and Pacifists with certain probabilities.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()	Constructs the Nixon2 MLN example, which represents Nixon being both a Quaker, Republican, and President.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()	Constructs the Nixon3 MLN example, which represents Reagan as an actor and president, with certain probabilities on roles.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)	Constructs the Simple Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int domain_size)	Constructs the Smokers Example MLN with a given domain size.

Uses of Pair in org.tweetyproject.logics.pl.sat

Methods in org.tweetyproject.logics.pl.sat that return Pair

Modifier and Type	Method	Description
static Pair<String,List<PlFormula>>	PlMusEnumerator.convertToDimacsAndIndex(Collection<PlFormula> formulas)	Converts the given set of formulas to their string representation in Dimacs CNF.

Uses of Pair in org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.logics.pl.semantics that return types with arguments of type Pair

Modifier and Type	Method	Description
Set<Pair<Proposition,Boolean>>	NicePossibleWorld.getRepresentationStructure()	Return The representation structure as a set of (proposition, boolean)

Methods in org.tweetyproject.logics.pl.semantics with parameters of type Pair

Modifier and Type	Method	Description
int	NicePossibleWorld.compare(Pair<Proposition,Boolean> o1, Pair<Proposition,Boolean> o2)

Method parameters in org.tweetyproject.logics.pl.semantics with type arguments of type Pair

Modifier and Type	Method	Description
void	NicePossibleWorld.setComparator(Comparator<Pair<Proposition,Boolean>> comparator)	Changes the used comparator to sort the representation structure and resorts the representation.

Constructor parameters in org.tweetyproject.logics.pl.semantics with type arguments of type Pair

Modifier	Constructor	Description
	NicePossibleWorld(Collection<Proposition> trueInWorld, Collection<Proposition> signature, Comparator<Pair<Proposition,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.

Uses of Pair in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return Pair

Modifier and Type	Method	Description
Pair<PlFormula,PlFormula>	Equivalence.getFormulas()	Returns the formulas of the equivalence.
Pair<PlFormula,PlFormula>	Implication.getFormulas()	Returns the formulas of the implication.

Methods in org.tweetyproject.logics.pl.syntax with parameters of type Pair

Modifier and Type	Method	Description
void	Equivalence.setFormulas(Pair<PlFormula,PlFormula> formulas)	Sets the formulas of the equivalence.
void	Implication.setFormulas(Pair<PlFormula,PlFormula> formulas)	Sets the formulas of the implication.

Constructors in org.tweetyproject.logics.pl.syntax with parameters of type Pair

Modifier	Constructor	Description
	Equivalence(Pair<PlFormula,PlFormula> formulas)	Creates a new equivalence with the given pair of formulas
	Implication(Pair<PlFormula,PlFormula> formulas)	Creates a new implication with the given pair of formulas

Uses of Pair in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return Pair

Modifier and Type	Method	Description
static final Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)	Parses a probability assignment from the input stream.

Uses of Pair in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that return Pair

Modifier and Type	Method	Description
static final Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)	Parses and returns a pair consisting of a HerbrandInterpretation and its associated Probability.