public class Dashboard
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
agg |
java.util.Set<java.lang.String> |
constraintNames |
ConstraintInstanceStream |
cs |
java.util.Map<java.lang.String,java.util.List<java.lang.Double>> |
vMap |
Constructor and Description |
---|
Dashboard(CMConfig cmConfig,
ConstraintInstanceStream cs) |
Modifier and Type | Method and Description |
---|---|
double |
aggCIs(java.util.Set<ConstraintInstance> cis,
int t,
java.lang.String constr,
java.lang.String agg) |
java.util.Set<ConstraintInstance> |
findViolated(java.util.Set<ConstraintInstance> cis,
int t,
java.lang.String constr) |
void |
updateVMap(int t) |
public java.util.Map<java.lang.String,java.util.List<java.lang.Double>> vMap
public ConstraintInstanceStream cs
public java.util.Set<java.lang.String> constraintNames
public java.lang.String agg
public Dashboard(CMConfig cmConfig, ConstraintInstanceStream cs)
public void updateVMap(int t)
public double aggCIs(java.util.Set<ConstraintInstance> cis, int t, java.lang.String constr, java.lang.String agg)
public java.util.Set<ConstraintInstance> findViolated(java.util.Set<ConstraintInstance> cis, int t, java.lang.String constr)