prompt.onlinedeclare.trace.budgetlossycounting.constraints

Class ChainSuccession

java.lang.Object

prompt.onlinedeclare.trace.budgetlossycounting.constraints.ChainSuccession

All Implemented Interfaces:

BudgetLCTemplateReplayer

public class ChainSuccession
extends java.lang.Object
implements BudgetLCTemplateReplayer

Constructor Summary

Constructors

Constructor and Description
ChainSuccession(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	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

ChainSuccession

public ChainSuccession(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

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: