Uses of Class
net.sf.tweety.commons.util.Triple
-
Packages that use Triple Package Description net.sf.tweety.arg.adf.util net.sf.tweety.logics.pl.analysis net.sf.tweety.lp.asp.syntax net.sf.tweety.preferences net.sf.tweety.preferences.io -
-
Uses of Triple in net.sf.tweety.arg.adf.util
Methods in net.sf.tweety.arg.adf.util that return types with arguments of type Triple Modifier and Type Method Description static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Conjunction>
PlCollectors. toConjunctionOfDisjunctiveTriples()
static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Disjunction>
PlCollectors. toDisjunctionOfConjunctiveTriples()
-
Uses of Triple in net.sf.tweety.logics.pl.analysis
Methods in net.sf.tweety.logics.pl.analysis that return types with arguments of type Triple Modifier and Type Method Description private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>>
FbInconsistencyMeasure. order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order.Method parameters in net.sf.tweety.logics.pl.analysis with type arguments of type Triple Modifier and Type Method Description private boolean
FbInconsistencyMeasure. hasDuplicate(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Checks whether the selection of substitutions is consistent (no proposition to be replaced by + and - at the same time).private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>>
FbInconsistencyMeasure. order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order. -
Uses of Triple in net.sf.tweety.lp.asp.syntax
Constructors in net.sf.tweety.lp.asp.syntax with parameters of type Triple Constructor Description ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator,Term<?>,Term<?>> triple)
-
Uses of Triple in net.sf.tweety.preferences
Fields in net.sf.tweety.preferences with type parameters of type Triple Modifier and Type Field Description private java.util.Set<Triple<T,T,Relation>>
PreferenceOrder. relations
a given set of TriplesMethods in net.sf.tweety.preferences that return Triple Modifier and Type Method Description Triple<T,T,Relation>
PreferenceOrder. get(Triple<T,T,Relation> e)
checks existence and returns a demanded pairTriple<T,T,Relation>
PreferenceOrder. getTriple(T a, T b)
returns a pair if it consists of of two given elementsMethods in net.sf.tweety.preferences that return types with arguments of type Triple Modifier and Type Method Description java.util.Iterator<Triple<T,T,Relation>>
PreferenceOrder. iterator()
java.util.Iterator<Triple<T,T,Relation>>
PreferenceOrder. iterator(java.util.Set<Triple<T,T,Relation>> s)
returns an iterator over a set of triplesMethods in net.sf.tweety.preferences with parameters of type Triple Modifier and Type Method Description boolean
BinaryRelation. add(Triple<T,T,Relation> t)
adds a new triple containing two elements and its relationboolean
PreferenceOrder. add(Triple<T,T,Relation> t)
adds a given pair of generic elements to the set.Triple<T,T,Relation>
PreferenceOrder. get(Triple<T,T,Relation> e)
checks existence and returns a demanded pairMethod parameters in net.sf.tweety.preferences with type arguments of type Triple Modifier and Type Method Description boolean
PreferenceOrder. addAll(java.util.Collection<? extends Triple<T,T,Relation>> c)
adds all given elements to the preference orderjava.util.Iterator<Triple<T,T,Relation>>
PreferenceOrder. iterator(java.util.Set<Triple<T,T,Relation>> s)
returns an iterator over a set of triplesConstructor parameters in net.sf.tweety.preferences with type arguments of type Triple Constructor Description PreferenceOrder(java.util.Collection<? extends Triple<T,T,Relation>> relations)
generates a preference order with a given set of elements -
Uses of Triple in net.sf.tweety.preferences.io
Fields in net.sf.tweety.preferences.io declared as Triple Modifier and Type Field Description (package private) Triple<PreferenceOrder<T>,T,java.lang.Integer>
POChanger. operation
The Triple t(x,y,z) contains the element y whose value in the po x' ranking function should be overwritten with parameter zConstructors in net.sf.tweety.preferences.io with parameters of type Triple Constructor Description POChanger(Triple<PreferenceOrder<T>,T,java.lang.Integer> op)
-