Uses of Class
org.tweetyproject.commons.util.Pair
Package
Description
-
Uses of Pair in org.tweetyproject.agents.dialogues.oppmodels
Modifier and TypeMethodDescriptionT1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
-
Uses of Pair in org.tweetyproject.arg.dung.divisions
-
Uses of Pair in org.tweetyproject.arg.rankings.reasoner
Modifier and TypeMethodDescriptionPair<int[],int[]>
TuplesRankingReasoner.computeTupledValue(Argument a, DungTheory kb)
Computes the tupled value for the given argument. -
Uses of Pair in org.tweetyproject.commons.util
Modifier and TypeMethodDescriptionMathTools.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
Modifier and TypeMethodDescriptionvoid
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
-
Uses of Pair in org.tweetyproject.logics.dl.semantics
Modifier and TypeMethodDescriptionDlInterpretation.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
Modifier and TypeMethodDescriptionEquivalenceAxiom.getFormulas()
ExistentialRestriction.getFormulas()
UniversalRestriction.getFormulas()
RoleAssertion.getIndividuals()
ModifierConstructorDescriptionRoleAssertion(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
Modifier and TypeMethodDescriptionEquivalence.getFormulas()
Returns the formulas of the equivalence.Implication.getFormulas()
Returns the formulas of the implication.Modifier and TypeMethodDescriptionvoid
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.ModifierConstructorDescriptionEquivalence(Pair<RelationalFormula,RelationalFormula> formulas)
Creates a new equivalence with the given pair of formulasImplication(Pair<RelationalFormula,RelationalFormula> formulas)
Creates a new implication with the given pair of formulas -
Uses of Pair in org.tweetyproject.logics.ml.semantics
ModifierConstructorDescriptionAccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
Constructs a new accessibility relation. -
Uses of Pair in org.tweetyproject.logics.mln.examples
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionSatSolver.convertToDimacs(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
Modifier and TypeMethodDescriptionint
NicePossibleWorld.compare(Pair<Proposition,Boolean> o1, Pair<Proposition,Boolean> o2)
Modifier and TypeMethodDescriptionvoid
NicePossibleWorld.setComparator(Comparator<Pair<Proposition,Boolean>> comparator)
Changes the used comparator to sort the representation structure and resorts the representation.ModifierConstructorDescriptionNicePossibleWorld(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
Modifier and TypeMethodDescriptionEquivalence.getFormulas()
Returns the formulas of the equivalence.Implication.getFormulas()
Returns the formulas of the implication.Modifier and TypeMethodDescriptionvoid
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.ModifierConstructorDescriptionEquivalence(Pair<PlFormula,PlFormula> formulas)
Creates a new equivalence with the given pair of formulasImplication(Pair<PlFormula,PlFormula> formulas)
Creates a new implication with the given pair of formulas -
Uses of Pair in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic Pair<ReferenceWorld,Probability>
RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
-
Uses of Pair in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic Pair<HerbrandInterpretation,Probability>
RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)