| Constructor and Description |
|---|
Policy(java.util.Collection<java.lang.String> states) |
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
boolean |
containsKey(java.lang.Object key) |
boolean |
containsValue(java.lang.Object value) |
static java.util.Map.Entry<Action,java.lang.Double> |
createEntry(Action a,
java.lang.Double c) |
java.util.Set<java.util.Map.Entry<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>> |
entrySet() |
java.util.Map.Entry<Action,java.lang.Double> |
get(java.lang.Object key) |
double |
getDanger(java.lang.String state) |
java.util.List<java.util.Map.Entry<java.lang.String,java.lang.Double>> |
getSortedFailProbabilities() |
boolean |
isEmpty() |
java.util.Set<java.lang.String> |
keySet() |
java.util.Map.Entry<Action,java.lang.Double> |
put(java.lang.String key,
java.util.Map.Entry<Action,java.lang.Double> value) |
void |
putAll(java.util.Map<? extends java.lang.String,? extends java.util.Map.Entry<Action,java.lang.Double>> m) |
java.util.Map.Entry<Action,java.lang.Double> |
remove(java.lang.Object key) |
void |
setDangers(ContinuousTimeMarkovChain ctmc,
double discount) |
int |
size() |
java.util.Collection<java.util.Map.Entry<Action,java.lang.Double>> |
values() |
public double getDanger(java.lang.String state)
public void setDangers(ContinuousTimeMarkovChain ctmc, double discount)
public java.util.List<java.util.Map.Entry<java.lang.String,java.lang.Double>> getSortedFailProbabilities()
public int size()
size in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public boolean isEmpty()
isEmpty in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public boolean containsKey(java.lang.Object key)
containsKey in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public boolean containsValue(java.lang.Object value)
containsValue in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Map.Entry<Action,java.lang.Double> get(java.lang.Object key)
get in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Map.Entry<Action,java.lang.Double> put(java.lang.String key, java.util.Map.Entry<Action,java.lang.Double> value)
put in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Map.Entry<Action,java.lang.Double> remove(java.lang.Object key)
remove in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public void putAll(java.util.Map<? extends java.lang.String,? extends java.util.Map.Entry<Action,java.lang.Double>> m)
putAll in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public void clear()
clear in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Set<java.lang.String> keySet()
keySet in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Collection<java.util.Map.Entry<Action,java.lang.Double>> values()
values in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>public java.util.Set<java.util.Map.Entry<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>> entrySet()
entrySet in interface java.util.Map<java.lang.String,java.util.Map.Entry<Action,java.lang.Double>>