prompt.onlinedeclare.trace.budgetlossycounting.constraints

Class Init

java.lang.Object

prompt.onlinedeclare.trace.budgetlossycounting.constraints.Init

All Implemented Interfaces:

BudgetLCTemplateReplayer

public class Init
extends java.lang.Object
implements BudgetLCTemplateReplayer

Constructor Summary

Constructors

Constructor and Description
Init(int budget)

Method Summary

Methods

Modifier and Type	Method and Description
void	addObservation(java.lang.String event, java.lang.String caseId)
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) Process the given event belonging to the given case id
void	process(java.lang.String event, java.lang.String caseId, boolean isTraceStart)
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

Init

public Init(int budget)

Method Detail

addObservation

public void addObservation(java.lang.String event,
                  java.lang.String caseId)

Specified by:

addObservation in interface BudgetLCTemplateReplayer

isToReplay

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

Specified by:

isToReplay in interface BudgetLCTemplateReplayer

Returns:

process

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

Description copied from interface: BudgetLCTemplateReplayer

Process the given event belonging to the given case id

Specified by:

process in interface BudgetLCTemplateReplayer

process

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

updateModel

public void updateModel(DeclareModel d)

Description copied from interface: BudgetLCTemplateReplayer

Update the given model with the new constraints

Specified by:

updateModel in interface BudgetLCTemplateReplayer

getSize

public java.lang.Integer getSize()

Specified by:

getSize in interface BudgetLCTemplateReplayer

Returns: