Uses of Class
net.sf.tweety.commons.util.Pair
-
-
-
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 protected abstract Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
Gives the set of all best next moves with their expected utility according to the belief state and the given trace.Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T1BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T2BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
protected Pair<java.lang.Double,java.util.Set<ExecutableExtension>>
T3BeliefState. doMove(ArgumentationEnvironment env, DialogueTrace<Argument,Extension> trace)
-
Uses of Pair in net.sf.tweety.arg.adf.syntax
-
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
Fields in net.sf.tweety.arg.rankings.reasoner with type parameters of type Pair Modifier and Type Field Description private java.util.Map<Argument,Pair<int[],int[]>>
TuplesRankingReasoner. tupled_values
Stores the tupled values computed by this reasoner for lookup.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
Fields in net.sf.tweety.logics.cl.semantics with type parameters of type Pair Modifier and Type Field Description private java.util.Comparator<Pair<Proposition,java.lang.Boolean>>
ConditionalStructure. worldRepresentation
The object used to sort the literals in the PossibleWorldMethod 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.commons.analysis
Fields in net.sf.tweety.logics.commons.analysis with type parameters of type Pair Modifier and Type Field Description private java.util.Map<Pair<T,S>,java.lang.Double>
ShapleyCulpabilityMeasure. archive
Stores previously computed culpability values.Methods in net.sf.tweety.logics.commons.analysis that return types with arguments of type Pair Modifier and Type Method Description private java.util.Set<Pair<java.util.Collection<S>,java.util.Collection<S>>>
ShapleyCulpabilityMeasure. getSubsets(T kb, S f)
Computes all pairs (k,k') of knowledge bases k,k'\subseteq kb, such that k = k' \cup {pc}. -
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
Fields in net.sf.tweety.logics.dl.syntax declared as Pair Modifier and Type Field Description private Pair<ComplexConcept,ComplexConcept>
EquivalenceAxiom. axiom
private Pair<AtomicRole,ComplexConcept>
ExistentialRestriction. formulas
The role and the concept that is being restricted by it.private Pair<AtomicRole,ComplexConcept>
UniversalRestriction. formulas
The role and the concept that is being restricted by it.private Pair<Individual,Individual>
RoleAssertion. individuals
The individuals of this assertional axiom (= the individuals that are instances of the role)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
Fields in net.sf.tweety.logics.fol.syntax declared as Pair Modifier and Type Field Description private Pair<RelationalFormula,RelationalFormula>
Equivalence. formulas
The pair of formulas that are part of the equivalence.private Pair<RelationalFormula,RelationalFormula>
Implication. formulas
The pair of formulas that are part of the implication.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 formulasImplication(Pair<RelationalFormula,RelationalFormula> formulas)
Creates a new implication with the given pair of formulas -
Uses of Pair in net.sf.tweety.logics.ml.semantics
Fields in net.sf.tweety.logics.ml.semantics with type parameters of type Pair Modifier and Type Field Description private java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>>
AccessibilityRelation. tuples
The actual relationConstructor 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.analysis
Methods in net.sf.tweety.logics.pl.analysis that return Pair Modifier and Type Method Description private Pair<java.util.Map<Variable,Term>,java.lang.Double>
FuzzyInconsistencyMeasure. constructAndSolveProblem(java.util.Collection<PlFormula> formulas, java.util.Map<Proposition,Variable> assignments)
Utility method -
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.protected static Pair<java.io.File,java.util.List<PlFormula>>
SatSolver. createTmpDimacsFile(java.util.Collection<PlFormula> formulas)
Creates a temporary file in Dimacs format and also returns a mapping between formulas and clauses. -
Uses of Pair in net.sf.tweety.logics.pl.semantics
Fields in net.sf.tweety.logics.pl.semantics with type parameters of type Pair Modifier and Type Field Description private java.util.SortedSet<Pair<Proposition,java.lang.Boolean>>
NicePossibleWorld. representation
The set saving all the proposition boolean pairs that represent this world assuming the current signature.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
Fields in net.sf.tweety.logics.pl.syntax declared as Pair Modifier and Type Field Description private Pair<PlFormula,PlFormula>
Equivalence. formulas
The pair of formulas that are part of the equivalence.private Pair<PlFormula,PlFormula>
Implication. formulas
The pair of formulas that are part of the implication.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 formulasImplication(Pair<PlFormula,PlFormula> formulas)
Creates a new implication with the given pair of formulas -
Uses of Pair in net.sf.tweety.logics.pl.util
Methods in net.sf.tweety.logics.pl.util that return Pair Modifier and Type Method Description private Pair<java.util.Collection<PlFormula>,java.lang.Integer>
CanonicalIterator. parseAssociativeFormula(java.util.BitSet s, int idx, int numOfTerms, PlSignature sig)
Parses an associate formula from the given bitset starting at index idx, with the given number of terms and the given signatureprivate Pair<PlFormula,java.lang.Integer>
CanonicalIterator. parseFormula(java.util.BitSet s, int idx, PlSignature sig)
Reads the next formula of the given bitset, starting at the given index.private Pair<PlFormula,java.lang.Integer>
CanonicalIterator. parseProposition(java.util.BitSet s, int idx, PlSignature sig)
Parses a proposition in bitset s starting from idx. -
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)
-
Uses of Pair in net.sf.tweety.logics.translators
Fields in net.sf.tweety.logics.translators with type parameters of type Pair Modifier and Type Field Description (package private) java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
Translator. translateMap
Methods in net.sf.tweety.logics.translators that return Pair Modifier and Type Method Description protected Pair<java.lang.Integer,java.lang.Class<?>>
Translator. getTranslateInfo(java.lang.Class<?> cls)
Methods in net.sf.tweety.logics.translators that return types with arguments of type Pair Modifier and Type Method Description protected abstract java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
Translator. createTranslateMap()
-
Uses of Pair in net.sf.tweety.logics.translators.aspfol
Methods in net.sf.tweety.logics.translators.aspfol that return types with arguments of type Pair Modifier and Type Method Description protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
AspFolTranslator. createTranslateMap()
-
Uses of Pair in net.sf.tweety.logics.translators.aspnlp
Methods in net.sf.tweety.logics.translators.aspnlp that return types with arguments of type Pair Modifier and Type Method Description protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
AspNlpTranslator. createTranslateMap()
-
Uses of Pair in net.sf.tweety.logics.translators.clnlp
Methods in net.sf.tweety.logics.translators.clnlp that return types with arguments of type Pair Modifier and Type Method Description protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
ClNLPTranslator. createTranslateMap()
-
Uses of Pair in net.sf.tweety.logics.translators.folprop
Methods in net.sf.tweety.logics.translators.folprop that return types with arguments of type Pair Modifier and Type Method Description protected java.util.Map<java.lang.Class<?>,Pair<java.lang.Integer,java.lang.Class<?>>>
FOLPropTranslator. createTranslateMap()
-
Uses of Pair in net.sf.tweety.lp.asp.beliefdynamics.revision
Methods in net.sf.tweety.lp.asp.beliefdynamics.revision that return types with arguments of type Pair Modifier and Type Method Description protected static java.util.List<Pair<ASPRule,ASPRule>>
PreferenceHandling. getConflictingRules(Program p1, Program p2)
Helper method: Finds all pairs of conflicting rules in program p1 and p2.
-