Uses of Class
net.sf.tweety.commons.util.Pair

Packages that use Pair

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

Uses of Pair in net.sf.tweety.agents.dialogues.oppmodels

Methods in net.sf.tweety.agents.dialogues.oppmodels that return Pair

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

Uses of Pair in net.sf.tweety.arg.adf.util

Methods in net.sf.tweety.arg.adf.util that return types with arguments of type Pair

Modifier and Type	Method	Description
static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Conjunction>	PlCollectors.toConjunctionOfDisjunctivePairs()
static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Disjunction>	PlCollectors.toDisjunctionOfConjunctivePairs()

Uses of Pair in net.sf.tweety.arg.dung.divisions

Subclasses of Pair in net.sf.tweety.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 net.sf.tweety.arg.rankings.reasoner

Methods in net.sf.tweety.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 net.sf.tweety.arg.rankings.reasoner that return types with arguments of type Pair

Modifier and Type	Method	Description
java.util.Map<Argument,Pair<int[],int[]>>	TuplesRankingReasoner.getTupledValues()

Uses of Pair in net.sf.tweety.commons.util

Methods in net.sf.tweety.commons.util that return Pair

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

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

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

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 Pair in net.sf.tweety.logics.dl.semantics

Methods in net.sf.tweety.logics.dl.semantics that return types with arguments of type Pair

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

Uses of Pair in net.sf.tweety.logics.dl.syntax

Methods in net.sf.tweety.logics.dl.syntax that return Pair

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

Constructors in net.sf.tweety.logics.dl.syntax with parameters of type Pair

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 net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.fol.syntax with parameters of type Pair

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 net.sf.tweety.logics.ml.semantics

Constructor parameters in net.sf.tweety.logics.ml.semantics with type arguments of type Pair

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

Uses of Pair in net.sf.tweety.logics.mln.examples

Methods in net.sf.tweety.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 net.sf.tweety.logics.pl.sat

Methods in net.sf.tweety.logics.pl.sat that return Pair

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

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

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

Modifier and Type	Method	Description
java.util.Set<Pair<Proposition,java.lang.Boolean>>	NicePossibleWorld.getRepresentationStructure()

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

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

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

Modifier and Type	Method	Description
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.

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

Constructor	Description
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.

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

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.pl.syntax with parameters of type Pair

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 net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return Pair

Modifier and Type	Method	Description
static Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)

Uses of Pair in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser that return Pair

Modifier and Type	Method	Description
static Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)