FRODO Version 2.19.1
An open-source framework for Distributed Constraint Optimization (DCOP)
Loading...
Searching...
No Matches
org.jacop.constraints.LexOrderCloneable Class Reference

A cloneable version of the LexOrder constraint. More...

Inheritance diagram for org.jacop.constraints.LexOrderCloneable:

Public Member Functions

 LexOrderCloneable (IntVarCloneable[] x, IntVarCloneable[] y)
 It creates a lexicographical order for vectors x and y,.
 LexOrderCloneable (IntVarCloneable[] x, IntVarCloneable[] y, boolean lt)
 It creates a lexicographical order for vectors x and y,.
LexOrderCloneable cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< LexOrderCloneable >
abstract C cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
 Creates a new constraint that is a (state-less) clone of this one, but expressed on the variables with the same names found in the input store.

Detailed Description

A cloneable version of the LexOrder constraint.

Author
Thomas Leaute

Constructor & Destructor Documentation

◆ LexOrderCloneable() [1/2]

org.jacop.constraints.LexOrderCloneable.LexOrderCloneable ( IntVarCloneable[] x,
IntVarCloneable[] y )

It creates a lexicographical order for vectors x and y,.

vectors x and y does not need to be of the same size.

Parameters
xfirst vector constrained by LexOrder constraint.
ysecond vector constrained by LexOrder constraint.

Referenced by cloneInto().

◆ LexOrderCloneable() [2/2]

org.jacop.constraints.LexOrderCloneable.LexOrderCloneable ( IntVarCloneable[] x,
IntVarCloneable[] y,
boolean lt )

It creates a lexicographical order for vectors x and y,.

vectors x and y does not need to be of the same size.

Parameters
xfirst vector constrained by LexOrder constraint.
ysecond vector constrained by LexOrder constraint.
ltdefines if we require strict order, Lex_{<} (lt = true) or Lex_{<=} (lt = false)

Member Function Documentation

◆ cloneInto()

LexOrderCloneable org.jacop.constraints.LexOrderCloneable.cloneInto ( StoreCloneable targetStore) throws FailException

The documentation for this class was generated from the following file: