Package org.btrplace.scheduler.choco.extensions
Some tool to ease the use of Choco and additional constraints that are not in the
distribution.
-
Class Summary Class Description AliasedCumulatives A kind of cumulatives constraint where a single resource is shared among multiple identifiers.AliasedCumulativesFiltering ChocoUtils Utility class to ease the creation of some constraints on Choco.Disjoint Enforces two sets of variables values to be disjoint created sofdem - 08/09/11DisjointMultiple Enforces multiple sets of variables values to be disjoint created sofdem - 08/09/11FastIFFEq A fast implementation for BVAR <=> VAR = CSTEFastImpliesEq A fast implementation for BVAR => VAR = CSTELocalTaskScheduler Precedences Kind of a precedence constraint when there is multiple resources.RoundedUpDivision A constraint to enforcea == b / divider
wheredivider
is a real anda
andb
are both integers.TaskMonitor Monitor to maintain start + duration = endTaskScheduler A constraint to schedule tasks with regards to their resource usages on resources having a finite amount to share.