Package | Description |
---|---|
net.sf.tweety.logics.pl.analysis | |
net.sf.tweety.preferences | |
net.sf.tweety.preferences.io |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Triple<T,T,Relation>> |
PreferenceOrder.relations
a given set of Triples
|
Modifier and Type | Method and Description |
---|---|
Triple<T,T,Relation> |
PreferenceOrder.get(Triple<T,T,Relation> e)
checks existence and returns a demanded pair
|
Triple<T,T,Relation> |
PreferenceOrder.getTriple(T a,
T b)
returns a pair if it consists of of two given elements
|
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Triple<T,T,Relation>> |
PreferenceOrder.iterator()
an Iterator over all relations in this po
|
java.util.Iterator<Triple<T,T,Relation>> |
PreferenceOrder.iterator(java.util.Set<Triple<T,T,Relation>> s)
returns an iterator over a set of pairs
|
Modifier and Type | Method and Description |
---|---|
boolean |
PreferenceOrder.add(Triple<T,T,Relation> t)
adds a given pair of generic elements to the set.
|
boolean |
BinaryRelation.add(Triple<T,T,Relation> t)
adds a new triple containing two elements and its relation
|
Triple<T,T,Relation> |
PreferenceOrder.get(Triple<T,T,Relation> e)
checks existence and returns a demanded pair
|
Modifier and Type | Method and Description |
---|---|
boolean |
PreferenceOrder.addAll(java.util.Collection<? extends Triple<T,T,Relation>> c)
adds all given elements to the preference order
|
java.util.Iterator<Triple<T,T,Relation>> |
PreferenceOrder.iterator(java.util.Set<Triple<T,T,Relation>> s)
returns an iterator over a set of pairs
|
Constructor and Description |
---|
PreferenceOrder(java.util.Collection<? extends Triple<T,T,Relation>> relations)
generates a preference order with a given set of elements
|
Modifier and Type | Field and 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 z
|
Constructor and Description |
---|
POChanger(Triple<PreferenceOrder<T>,T,java.lang.Integer> op) |