public class ArrayEventStore extends Object
Constructor and Description |
---|
ArrayEventStore(IEnvironment env)
Create an event store
|
Modifier and Type | Method and Description |
---|---|
void |
forgetLast()
Forget the last event pushed
|
ICause |
getCause(int evt) |
IEventType |
getEventType(int evt) |
int |
getFirstValue(int evt) |
int |
getSecondValue(int evt) |
int |
getSize() |
int |
getThirdValue(int evt) |
IntVar |
getVariable(int evt) |
void |
pushEvent(IntVar var,
ICause cause,
IEventType mask,
int one,
int two,
int three)
Push an event on the top of this store
|
public ArrayEventStore(IEnvironment env)
env
- backtracking environmentpublic void pushEvent(IntVar var, ICause cause, IEventType mask, int one, int two, int three)
var
- modified variablecause
- cause of the modificationmask
- modification maskone
- an inttwo
- an intthree
- an intpublic void forgetLast()
public int getSize()
public IntVar getVariable(int evt)
evt
- event indexpublic IEventType getEventType(int evt)
evt
- event indexpublic ICause getCause(int evt)
evt
- event indexpublic int getFirstValue(int evt)
evt
- event indexpublic int getSecondValue(int evt)
evt
- event indexpublic int getThirdValue(int evt)
evt
- event indexCopyright © 2018. All rights reserved.