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()

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()
Pair<AtomicRole,ComplexConcept>	ExistentialRestriction.getFormulas()
Pair<AtomicRole,ComplexConcept>	UniversalRestriction.getFormulas()
Pair<Individual,Individual>	RoleAssertion.getIndividuals()

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

Modifier	Constructor	Description
	ExistentialRestriction(Pair<AtomicRole,ComplexConcept> f)
	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)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int 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()

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)

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)