public class LdoUtilityFunction extends java.util.HashMap<LdoFormula,java.lang.Double>
| Modifier and Type | Field and Description | 
|---|---|
private static long | 
serialVersionUID
For serialization. 
 | 
| Constructor and Description | 
|---|
LdoUtilityFunction()
Creates a new utility function. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
java.lang.Double | 
getExpectedUtility(LdoArgumentationLottery lottery)
Returns the expected utility of the given lottery. 
 | 
java.lang.Double | 
getUtility(DungTheory theory,
          Semantics semantics)
Gets the utility of the given theory wrt. 
 | 
clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, valuesprivate static final long serialVersionUID
public java.lang.Double getExpectedUtility(LdoArgumentationLottery lottery)
lottery - some lotterypublic java.lang.Double getUtility(DungTheory theory, Semantics semantics)
theory - some AAFsemantics - some semantics