public class ConstraintMonitor
extends java.lang.Object
Constructor and Description |
---|
ConstraintMonitor(CMConfig cmConfig) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<ConstraintInstance> |
monitor(int currentTime,
EventStream es) |
void |
recordCI(java.util.Set<ConstraintInstance> cis,
int currentTime) |
public ConstraintMonitor(CMConfig cmConfig)
public java.util.Set<ConstraintInstance> monitor(int currentTime, EventStream es)
public void recordCI(java.util.Set<ConstraintInstance> cis, int currentTime)