Uses of Package
org.jacop.core
-
Classes in org.jacop.core used by org.jacop.api Class Description Store It is an abstract class to describe all necessary functions of any store. -
Classes in org.jacop.core used by org.jacop.constraints Class Description Domain Defines a Domain and related operations on it.IntDomain Defines an integer domain and related operations on it.Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.MutableVar Standard mutable variable definitionMutableVarValue Standard mutable variable's value definitionStore It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.binpacking Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.cumulative Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality. -
Classes in org.jacop.core used by org.jacop.constraints.diffn Class Description Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.geost Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.knapsack Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.netflow Class Description Domain Defines a Domain and related operations on it.IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.regular Class Description IntDomain Defines an integer domain and related operations on it.IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.constraints.table Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.core Class Description Backtrackable BacktrackableManager BooleanVar Defines a variable and related operations on it.BoundDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Domain Defines a Domain and related operations on it.FailException It is thrown when search has encountered a dead end and backtracking must occurr.IntDomain Defines an integer domain and related operations on it.Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntervalEnumeration Defines a methods for enumerating values contain in the intersal domain.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.MutableDomainValue MutableVar Standard mutable variable definitionMutableVarValue Standard mutable variable's value definitionSimpleBacktrackableManager It is responsible of remembering what variables have changed at given store level.SmallDenseDomain Defines small dense domain based on bits within a long number.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.ValueEnumeration Defines a methods for enumerating values contained in the domain.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.cpviz Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.fd Class Description BooleanVar Defines a variable and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.fd.carsequencing Class Description IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals. -
Classes in org.jacop.core used by org.jacop.examples.fd.crosswords Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.fd.filters Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store. -
Classes in org.jacop.core used by org.jacop.examples.fd.muca Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.fd.nonogram Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it. -
Classes in org.jacop.core used by org.jacop.examples.set Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.floats.constraints Class Description IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.floats.constraints.linear Class Description MutableVar Standard mutable variable definitionMutableVarValue Standard mutable variable's value definitionStore It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.floats.core Class Description Backtrackable Domain Defines a Domain and related operations on it.IntervalEnumeration Defines a methods for enumerating values contain in the intersal domain.Store It is an abstract class to describe all necessary functions of any store.ValueEnumeration Defines a methods for enumerating values contained in the domain.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.floats.search Class Description Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.fz Class Description BooleanVar Defines a variable and related operations on it.FailException It is thrown when search has encountered a dead end and backtracking must occurr.IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.fz.constraints Class Description FailException It is thrown when search has encountered a dead end and backtracking must occurr.IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.satwrapper Class Description BooleanVar Defines a variable and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.satwrapper.translation Class Description IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it. -
Classes in org.jacop.core used by org.jacop.search Class Description Domain Defines a Domain and related operations on it.IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.search.restart Class Description Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.search.sgmpcs Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.set.constraints Class Description IntDomain Defines an integer domain and related operations on it.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.TimeStamp This class provides mutable variable functionality.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.set.core Class Description Backtrackable Domain Defines a Domain and related operations on it.IntDomain Defines an integer domain and related operations on it.Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Store It is an abstract class to describe all necessary functions of any store.ValueEnumeration Defines a methods for enumerating values contained in the domain.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.ui Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it. -
Classes in org.jacop.core used by org.jacop.util Class Description IntVar Defines a Finite Domain Variable (FDV) and related operations on it.Store It is an abstract class to describe all necessary functions of any store.Var Defines a variable and related operations on it. -
Classes in org.jacop.core used by org.jacop.util.fsm Class Description IntDomain Defines an integer domain and related operations on it.IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.IntVar Defines a Finite Domain Variable (FDV) and related operations on it.