org.chocosolver.solver.variables.view

Interface IView

All Superinterfaces:

Comparable<Variable>, ICause, Identity, Serializable, Variable

All Known Implementing Classes:

BoolEqView, BoolNotView, EqView, IntView, MinusView, OffsetView, RealView, ScaleView

public interface IView
extends ICause, Variable

An interface to define views. A view is a specific variable that does not declare any domain but relies on another variable. It converts getters and setters to ensure that the semantic of the view is respected.

This is intend to replace very specific propagator such as equality.

Since:

26/08/11

Author:

Charles Prud'homme

Field Summary

Fields inherited from interface org.chocosolver.solver.variables.Variable

BOOL, CSTE, INT, KIND, REAL, SET, TYPE, VAR, VIEW

Method Summary

Methods

Modifier and Type	Method and Description
Variable	getVariable() Return the basis variable
void	transformEvent(IEventType evt, ICause cause) Transform the original event wrt the view

Methods inherited from interface org.chocosolver.solver.ICause

why

Methods inherited from interface org.chocosolver.solver.variables.Variable

addMonitor, contradiction, createDelta, duplicate, duplicate, getDelta, getIndexInPropagator, getName, getNbProps, getPIndices, getPropagator, getPropagators, getSolver, getTypeAndKind, getViews, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, recordMask, removeMonitor, subscribeView, unlink

Methods inherited from interface org.chocosolver.solver.Identity

getId

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getVariable

Variable getVariable()

Return the basis variable

Returns:

variable observed

transformEvent

void transformEvent(IEventType evt,
                  ICause cause)
                    throws ContradictionException

Transform the original event wrt the view

Parameters:

evt - original event

cause - cause of the modification

Throws:

ContradictionException - can encounter a contradiction