org.chocosolver.solver.explanations.store

Class ArrayEventStore

java.lang.Object

org.chocosolver.solver.explanations.store.ArrayEventStore

All Implemented Interfaces:

IEventStore

public class ArrayEventStore
extends Object
implements IEventStore

Created by cprudhom on 13/11/14. Project: choco.

Constructor Summary

Constructors

Constructor and Description
ArrayEventStore(IEnvironment env)

Method Summary

Methods

Modifier and Type	Method and Description
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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayEventStore

public ArrayEventStore(IEnvironment env)

Method Detail

pushEvent

public void pushEvent(IntVar var,
             ICause cause,
             IEventType mask,
             int one,
             int two,
             int three)

Specified by:

pushEvent in interface IEventStore

getSize

public int getSize()

Specified by:

getSize in interface IEventStore

getVariable

public IntVar getVariable(int evt)

Specified by:

getVariable in interface IEventStore

getEventType

public IEventType getEventType(int evt)

Specified by:

getEventType in interface IEventStore

getCause

public ICause getCause(int evt)

Specified by:

getCause in interface IEventStore

getFirstValue

public int getFirstValue(int evt)

Specified by:

getFirstValue in interface IEventStore

getSecondValue

public int getSecondValue(int evt)

Specified by:

getSecondValue in interface IEventStore

getThirdValue

public int getThirdValue(int evt)

Specified by:

getThirdValue in interface IEventStore