prompt.onlinedeclare.trace.lossycounting.constraints

Class Existence2

java.lang.Object

prompt.onlinedeclare.trace.lossycounting.constraints.Existence2

All Implemented Interfaces:

LCTemplateReplayer

public class Existence2
extends java.lang.Object
implements LCTemplateReplayer

Constructor Summary

Constructors

Constructor and Description
Existence2()

Method Summary

Methods

Modifier and Type	Method and Description
void	addObservation(java.lang.String caseId, java.lang.Integer currentBucket) Add a new event observation
void	cleanup(java.lang.Integer currentBucket) Clean up the data structure
java.lang.Integer	getSize()
boolean	isToReplay(java.lang.String event, java.lang.String caseId, boolean isTraceStart, boolean isTraceComplete)
void	process(java.lang.String event, java.lang.String caseId, boolean isTraceStart) Process the given event belonging to the given case id
void	updateModel(DeclareModel d) Update the given model with the new constraints

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Existence2

public Existence2()

Method Detail

addObservation

public void addObservation(java.lang.String caseId,
                  java.lang.Integer currentBucket)

Description copied from interface: LCTemplateReplayer

Add a new event observation

Specified by:

addObservation in interface LCTemplateReplayer

cleanup

public void cleanup(java.lang.Integer currentBucket)

Description copied from interface: LCTemplateReplayer

Clean up the data structure

Specified by:

cleanup in interface LCTemplateReplayer

isToReplay

public boolean isToReplay(java.lang.String event,
                 java.lang.String caseId,
                 boolean isTraceStart,
                 boolean isTraceComplete)

Specified by:

isToReplay in interface LCTemplateReplayer

process

public void process(java.lang.String event,
           java.lang.String caseId,
           boolean isTraceStart)

Description copied from interface: LCTemplateReplayer

Process the given event belonging to the given case id

Specified by:

process in interface LCTemplateReplayer

updateModel

public void updateModel(DeclareModel d)

Description copied from interface: LCTemplateReplayer

Update the given model with the new constraints

Specified by:

updateModel in interface LCTemplateReplayer

getSize

public java.lang.Integer getSize()

Specified by:

getSize in interface LCTemplateReplayer

Returns: