Uses of Interface
jopt.csp.variable.CspConstraint

Packages that use CspConstraint
jopt.csp   
jopt.csp.search The interfaces to all your searching needs. 
jopt.csp.variable The interfaces for building, combining, and constraining variables and expressions  
 

Uses of CspConstraint in jopt.csp
 

Methods in jopt.csp with parameters of type CspConstraint
abstract  void CspSolver.addConstraint(CspConstraint constraint)
          Adds a constraint to the constraint reduction algorithm of this CspSolver.
abstract  void CspSolver.addConstraint(CspConstraint constraint, boolean keepAfterReset)
          Adds a constraint to the constraint reduction algorithm of this CspSolver.
 

Uses of CspConstraint in jopt.csp.search
 

Methods in jopt.csp.search with parameters of type CspConstraint
 SearchAction SearchActions.addConstraint(CspConstraint constraint)
          Adds a constraint during a search that can be undone as the search routine backtracks
 

Uses of CspConstraint in jopt.csp.variable
 

Methods in jopt.csp.variable that return CspConstraint
 CspConstraint CspSetConstraints.eqIntersection(CspSetVariable x, CspSetVariable y, CspSetVariable z)
          Constraint representing intersection( X, Y ) = Z.
 CspConstraint CspSetConstraints.eqIntersection(CspSetVariable[] sources, CspSetVariable target)
          Constraint representing intersection( sources ) = target.
 CspConstraint CspSetConstraints.eqPartition(CspSetVariable x, CspSetVariable y, CspSetVariable z)
          Constraint representing partition( X, Y ) = Z.
 CspConstraint CspSetConstraints.eqPartition(CspSetVariable[] sources, CspSetVariable target)
          Constraint representing partition( sources ) = target.
 CspConstraint CspSetConstraints.eqPartition(CspSetVariable x, CspSetVariable y, CspSetVariable z, boolean advancedFilter)
          Constraint representing partition( X, Y ) = Z that has more advanced filtering than the normal eqPartition constraint Advanced filtering will reduce domains more than normal but takes longer to run.
 CspConstraint CspSetConstraints.eqPartition(CspSetVariable[] sources, CspSetVariable target, boolean advancedFilter)
          Constraint representing partition( X, Y ) = Z that has more advanced filtering than the normal eqPartition constraint.
 CspConstraint CspSetConstraints.eqUnion(CspSetVariable x, CspSetVariable y, CspSetVariable z)
          Creates new union constraint representing union( X, Y ) = Z
 CspConstraint CspSetConstraints.eqUnion(CspSetVariable[] sources, CspSetVariable target)
          Creates new union constraint representing union( sources ) = target
 CspConstraint CspSetConstraints.eqUnion(CspSetVariable x, CspSetVariable y, CspSetVariable z, CspSetVariable intersect)
          Creates new union constraint that can utilize a variable that is the intersection of X and Y variables to further reduce the target Z than the normal eqUnion constraint.
 CspConstraint CspSetConstraints.eqUnion(CspSetVariable[] sources, CspSetVariable target, boolean advancedFilter)
          Creates new union constraint that will filter the domains more than the normal eqUnion constraint, but will take longer to run.
 CspConstraint CspSetConstraints.nullIntersection(CspSetVariable[] sources)
          Creates new constraint representing null-intersection( sources )
 CspConstraint CspSetConstraints.nullIntersection(CspSetVariable a, CspSetVariable b)
          Creates new constraint representing null-intersection( A, B )
 CspConstraint CspSetConstraints.nullIntersection(CspSetVariable a, java.util.Set constb)
          Creates new constraint representing null-intersection( A, b )
 CspConstraint CspSetConstraints.nullIntersection(java.util.Set consta, CspSetVariable b)
          Creates new constraint representing null-intersection( a, B )
 CspConstraint CspSetConstraints.eqSubset(CspSetVariable a, CspSetVariable b)
          Creates new constraint representing B is a subset of A
 CspConstraint CspSetConstraints.eqSubset(java.util.Set a, CspSetVariable b)
          Creates new constraint representing B is a subset of a
 CspConstraint CspSetConstraints.eqSubset(CspSetVariable a, java.util.Set b)
          Creates new constraint representing b is a subset of A
 CspConstraint CspSetConstraints.strictSubset(CspSetVariable a, CspSetVariable b)
          Creates new constraint representing B is a strict subset of A
 CspConstraint CspSetConstraints.strictSubset(java.util.Set a, CspSetVariable b)
          Creates new constraint representing B is a strict subset of a
 CspConstraint CspSetConstraints.strictSubset(CspSetVariable a, java.util.Set b)
          Creates new constraint representing b is a strict subset of A
 CspConstraint CspSetConstraints.memberOfSet(CspIntSetVariable set, CspIntExpr expr)
          Constrains a numeric expression to be a member of a set.
 CspConstraint CspSetConstraints.notMemberOfSet(CspIntSetVariable set, CspIntExpr expr)
          Constrains a numeric expression to not be a member of a set.
 CspConstraint CspNumExpr.eq(CspNumExpr val)
          Returns a constraint restricting this expression to a value
 CspConstraint CspNumExpr.lt(CspNumExpr val)
          Returns a constraint restricting this expression to values below a given maximum
 CspConstraint CspNumExpr.leq(CspNumExpr val)
          Returns a constraint restricting this expression to values below and including a given maximum
 CspConstraint CspNumExpr.gt(CspNumExpr val)
          Returns a constraint restricting this expression to values above a given minimum
 CspConstraint CspNumExpr.geq(CspNumExpr val)
          Returns a constraint restricting this expression to values above and including a given minimum
 CspConstraint CspNumExpr.neq(CspNumExpr val)
          Returns a constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspNumExpr.between(CspNumExpr min, boolean minExclusive, CspNumExpr max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspNumExpr.between(CspNumExpr min, CspNumExpr max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspNumExpr.between(CspGenericNumConstant min, boolean minExclusive, CspGenericNumConstant max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspNumExpr.between(CspGenericNumConstant min, CspGenericNumConstant max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspNumExpr.notBetween(CspNumExpr min, boolean minExclusive, CspNumExpr max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspNumExpr.notBetween(CspNumExpr min, CspNumExpr max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspNumExpr.notBetween(CspGenericNumConstant min, boolean minExclusive, CspGenericNumConstant max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspNumExpr.notBetween(CspGenericNumConstant min, CspGenericNumConstant max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspMath.allDifferent(CspIntExpr[] exprs)
          Constrains an array of variables to have different values
 CspConstraint CspMath.allDifferent(CspLongExpr[] exprs)
          Constrains an array of variables to have different values
 CspConstraint CspMath.allDifferent(CspGenericIntExpr expr)
          Constrains all elements of a generic variable to be different values
 CspConstraint CspMath.allDifferent(CspGenericLongExpr expr)
          Constrains all elements of a generic variable to be different values
 CspConstraint CspMath.globalCardinality(CspIntExpr[] exprs, java.lang.Number[] vals, int[] lb, int[] ub)
          Generates a constraint that will cause the number of times vals occurs in exprs to be at least lb and at most ub
 CspConstraint CspMath.globalCardinality(CspLongExpr[] exprs, java.lang.Number[] vals, int[] lb, int[] ub)
          Generates a constraint that will cause the number of times vals occurs in exprs to be at least lb and at most ub
 CspConstraint CspMath.globalCardinality(CspGenericIntExpr expr, java.lang.Number[] vals, int[] lb, int[] ub)
          Generates a constraint that will cause the number of times vals occurs in exprs to be at least lb and at most ub
 CspConstraint CspMath.globalCardinality(CspGenericLongExpr expr, java.lang.Number[] vals, int[] lb, int[] ub)
          Generates a constraint that will cause the number of times vals occurs in exprs to be at least lb and at most ub
 CspConstraint CspMath.globalCardCount(CspIntExpr[] exprs, java.lang.Number[] vals, CspIntExpr[] count)
          A constraint that will count the number of occurrence of certain values and store that number in the corresponding count int expression
 CspConstraint CspMath.globalCardCount(CspLongExpr[] exprs, java.lang.Number[] vals, CspIntExpr[] count)
          A constraint that will count the number of occurrence of certain values and store that number in the corresponding count int expression
 CspConstraint CspMath.globalCardCount(CspGenericIntExpr expr, java.lang.Number[] vals, CspIntExpr[] count)
          A constraint that will count the number of occurrence of certain values and store that number in the corresponding count int expression
 CspConstraint CspMath.globalCardCount(CspGenericLongExpr expr, java.lang.Number[] vals, CspIntExpr[] count)
          A constraint that will count the number of occurrence of certain values and store that number in the corresponding count int expression
 CspConstraint CspMath.memberOfArray(CspIntExpr[] sources, CspIntExpr expr)
          Constrains a numeric expression to be a member of an array.
 CspConstraint CspMath.notMemberOfArray(CspLongExpr[] sources, CspLongExpr expr)
          Constrains a numeric expression to not be a member of an array.
 CspConstraint CspMath.notMemberOfArray(CspIntExpr[] sources, CspIntExpr expr)
          Constrains a numeric expression to not be a member of an array.
 CspConstraint CspMath.memberOfArray(CspLongExpr[] sources, CspLongExpr expr)
          Constrains a numeric expression to be a member of an array.
 CspConstraint CspLongExpr.eq(long val)
          Returns constraint restricting this expression to a value
 CspConstraint CspLongExpr.lt(long val)
          Returns constraint restricting this expression to values below a given maximum
 CspConstraint CspLongExpr.leq(long val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspLongExpr.gt(long val)
          Returns constraint restricting this expression to values above a given minimum
 CspConstraint CspLongExpr.geq(long val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspLongExpr.neq(long val)
          Returns constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspLongExpr.eq(CspGenericLongConstant val)
          Returns constraint restricting this expression to a value
 CspConstraint CspLongExpr.lt(CspGenericLongConstant val)
          Returns constraint restricting this expression to values below a given maximum
 CspConstraint CspLongExpr.leq(CspGenericLongConstant val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspLongExpr.gt(CspGenericLongConstant val)
          Returns constraint restricting this expression to values above a given minimum
 CspConstraint CspLongExpr.geq(CspGenericLongConstant val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspLongExpr.neq(CspGenericLongConstant val)
          Returns constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspLongExpr.between(long min, boolean minExclusive, long max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspLongExpr.between(long min, long max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspLongExpr.notBetween(long min, boolean minExclusive, long max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspLongExpr.notBetween(long min, long max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspIntExpr.eq(int val)
          Returns constraint restricting this expression to a value
 CspConstraint CspIntExpr.lt(int val)
          Returns constraint restricting this expression to values below a given maximum
 CspConstraint CspIntExpr.leq(int val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspIntExpr.gt(int val)
          Returns constraint restricting this expression to values above a given minimum
 CspConstraint CspIntExpr.geq(int val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspIntExpr.neq(int val)
          Returns constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspIntExpr.eq(CspGenericIntConstant val)
          Returns constraint restricting this expression to a value
 CspConstraint CspIntExpr.lt(CspGenericIntConstant val)
          Returns constraint restricting this expression to values below a given maximum
 CspConstraint CspIntExpr.leq(CspGenericIntConstant val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspIntExpr.gt(CspGenericIntConstant val)
          Returns constraint restricting this expression to values above a given minimum
 CspConstraint CspIntExpr.geq(CspGenericIntConstant val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspIntExpr.neq(CspGenericIntConstant val)
          Returns constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspIntExpr.between(int min, boolean minExclusive, int max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspIntExpr.between(int min, int max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspIntExpr.notBetween(int min, boolean minExclusive, int max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspIntExpr.notBetween(int min, int max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspGenericLongExpr.eq(CspGenericLongConstant val)
          Returns a constraint restricting this expression to a value
 CspConstraint CspGenericLongExpr.lt(CspGenericLongConstant val)
          Returns a constraint restricting this expression to values below a given maximum
 CspConstraint CspGenericLongExpr.leq(CspGenericLongConstant val)
          Returns a constraint restricting this expression to values below and including a given maximum
 CspConstraint CspGenericLongExpr.gt(CspGenericLongConstant val)
          Returns a constraint restricting this expression to values above a given minimum
 CspConstraint CspGenericLongExpr.geq(CspGenericLongConstant val)
          Returns a constraint restricting this expression to values above and including a given minimum
 CspConstraint CspGenericLongExpr.neq(CspGenericLongConstant val)
          Returns a constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspGenericLongExpr.between(long min, boolean minExclusive, long max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspGenericLongExpr.between(long min, long max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspGenericLongExpr.notBetween(long min, boolean minExclusive, long max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspGenericLongExpr.notBetween(long min, long max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspGenericIntExpr.eq(CspGenericIntConstant val)
          Returns a constraint restricting this expression to a value
 CspConstraint CspGenericIntExpr.lt(CspGenericIntConstant val)
          Returns a constraint restricting this expression to values below a given maximum
 CspConstraint CspGenericIntExpr.leq(CspGenericIntConstant val)
          Returns a constraint restricting this expression to values below and including a given maximum
 CspConstraint CspGenericIntExpr.gt(CspGenericIntConstant val)
          Returns a constraint restricting this expression to values above a given minimum
 CspConstraint CspGenericIntExpr.geq(CspGenericIntConstant val)
          Returns a constraint restricting this expression to values above and including a given minimum
 CspConstraint CspGenericIntExpr.neq(CspGenericIntConstant val)
          Returns a constraint restricting this expression to all values not equivalent to supplied value
 CspConstraint CspGenericIntExpr.between(int min, boolean minExclusive, int max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspGenericIntExpr.between(int min, int max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspGenericIntExpr.notBetween(int min, boolean minExclusive, int max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspGenericIntExpr.notBetween(int min, int max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspGenericFloatExpr.eq(CspGenericFloatConstant val)
          Returns a constraint restricting this expression to a value
 CspConstraint CspGenericFloatExpr.leq(CspGenericFloatConstant val)
          Returns a constraint restricting this expression to values below and including a given maximum
 CspConstraint CspGenericFloatExpr.geq(CspGenericFloatConstant val)
          Returns a constraint restricting this expression to values above and including a given minimum
 CspConstraint CspGenericFloatExpr.between(float min, boolean minExclusive, float max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspGenericFloatExpr.between(float min, float max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspGenericFloatExpr.notBetween(float min, boolean minExclusive, float max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspGenericFloatExpr.notBetween(float min, float max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspGenericDoubleExpr.eq(CspGenericDoubleConstant val)
          Returns a constraint restricting this expression to a value
 CspConstraint CspGenericDoubleExpr.leq(CspGenericDoubleConstant val)
          Returns a constraint restricting this expression to values below and including a given maximum
 CspConstraint CspGenericDoubleExpr.geq(CspGenericDoubleConstant val)
          Returns a constraint restricting this expression to values above and including a given minimum
 CspConstraint CspGenericDoubleExpr.between(double min, boolean minExclusive, double max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspGenericDoubleExpr.between(double min, double max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspGenericDoubleExpr.notBetween(double min, boolean minExclusive, double max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspGenericDoubleExpr.notBetween(double min, double max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspFloatExpr.eq(float val)
          Returns constraint restricting this expression to a value
 CspConstraint CspFloatExpr.leq(float val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspFloatExpr.geq(float val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspFloatExpr.eq(CspGenericFloatConstant val)
          Returns constraint restricting this expression to a value
 CspConstraint CspFloatExpr.leq(CspGenericFloatConstant val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspFloatExpr.geq(CspGenericFloatConstant val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspFloatExpr.between(float min, boolean minExclusive, float max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspFloatExpr.between(float min, float max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspFloatExpr.notBetween(float min, boolean minExclusive, float max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspFloatExpr.notBetween(float min, float max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspDoubleExpr.eq(double val)
          Returns constraint restricting this expression to a value
 CspConstraint CspDoubleExpr.leq(double val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspDoubleExpr.geq(double val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspDoubleExpr.eq(CspGenericDoubleConstant val)
          Returns constraint restricting this expression to a value
 CspConstraint CspDoubleExpr.leq(CspGenericDoubleConstant val)
          Returns constraint restricting this expression to values below and including a given maximum
 CspConstraint CspDoubleExpr.geq(CspGenericDoubleConstant val)
          Returns constraint restricting this expression to values above and including a given minimum
 CspConstraint CspDoubleExpr.between(double min, boolean minExclusive, double max, boolean maxExclusive)
          Returns a constraint restricting this expression to be between a min and max.
 CspConstraint CspDoubleExpr.between(double min, double max)
          Returns a constraint restricting this expression to be between or equal min and max.
 CspConstraint CspDoubleExpr.notBetween(double min, boolean minExclusive, double max, boolean maxExclusive)
          Returns a constraint restricting this expression to not fall within a given range from a min to max value
 CspConstraint CspDoubleExpr.notBetween(double min, double max)
          Returns a constraint restricting this expression to not fall within a given range greater than or equal to a min value up to less than or equal a max value
 CspConstraint CspBooleanExpr.toConstraint()
          Returns a constraint that represents this boolean expression that can be used in the solver
 

Methods in jopt.csp.variable with parameters of type CspConstraint
 CspGenericBooleanExpr CspVariableFactory.genericBoolean(java.lang.String name, CspGenericIndex[] indices, CspConstraint constraint)
          Produces a generic variable that wraps a constraint
 CspGenericBooleanExpr CspVariableFactory.genericBoolean(java.lang.String name, CspGenericIndex index, CspConstraint constraint)
          Produces a generic variable that wraps a constraint
 CspBooleanVariable CspVariableFactory.booleanVar(java.lang.String name, CspConstraint constraint)
          Creates a boolean variable that wraps a constraint
 CspBooleanExpr CspBooleanExpr.and(CspConstraint cons)
          Creates a boolean expression resulting from anding a constraint with this expression
 CspBooleanExpr CspBooleanExpr.xor(CspConstraint cons)
          Creates a boolean expression resulting from xoring a constraint with this expression
 CspBooleanExpr CspBooleanExpr.or(CspConstraint cons)
          Creates a boolean expression resulting from oring a constraint with this expression
 CspBooleanExpr CspBooleanExpr.implies(CspConstraint cons)
          Creates a boolean expression resulting from this expression implying a constraint
 CspBooleanExpr CspBooleanExpr.eq(CspConstraint cons)
          Creates a boolean expression resulting from setting a constraint equal to this expression
 void CspAlgorithm.addConstraint(CspConstraint constraint)
          Adds a constraint to be managed by this algorithm