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>>