choco.kernel.solver.variables.set
Interface SetSubDomain

All Superinterfaces:
Domain, IPretty
All Known Implementing Classes:
BitSetEnumeratedDomain

public interface SetSubDomain
extends Domain


Field Summary
static Logger LOGGER
           
 
Method Summary
 void clearDeltaDomain()
           
 boolean contains(int val)
           
 IDeltaDomain copyDelta()
           
 void freezeDeltaDomain()
           
 DisposableIntIterator getDeltaIterator()
           
 int getFirstVal()
           
 int getLastVal()
           
 int getNextValue(int x)
           
 boolean getReleasedDeltaDomain()
           
 int getSize()
           
 boolean releaseDeltaDomain()
           
 boolean remove(int val)
           
 
Methods inherited from interface choco.IPretty
pretty
 

Field Detail

LOGGER

static final Logger LOGGER
Method Detail

contains

boolean contains(int val)

remove

boolean remove(int val)

getSize

int getSize()

getFirstVal

int getFirstVal()

getNextValue

int getNextValue(int x)

getLastVal

int getLastVal()

clearDeltaDomain

void clearDeltaDomain()

freezeDeltaDomain

void freezeDeltaDomain()

releaseDeltaDomain

boolean releaseDeltaDomain()

getReleasedDeltaDomain

boolean getReleasedDeltaDomain()

getDeltaIterator

DisposableIntIterator getDeltaIterator()

copyDelta

IDeltaDomain copyDelta()


Copyright © 2012. All Rights Reserved.