parser.chocogen
Class GloConstraintFactory

java.lang.Object
  extended by parser.chocogen.ObjectFactory
      extended by parser.chocogen.GloConstraintFactory

public class GloConstraintFactory
extends ObjectFactory

The factory for global constraints


Field Summary
 
Fields inherited from class parser.chocogen.ObjectFactory
AC2001, AC2008, AC32, algorithmAC, m, parser
 
Constructor Summary
GloConstraintFactory(Model m, InstanceParser parser)
           
 
Method Summary
static Constraint buildAllDiff(IntegerVariable[] vars)
           
static Constraint buildGcc(IntegerVariable[] vars, Integer[] values, IntegerVariable[] noccurrences)
           
static Constraint[] makeAlldDifferent(PAllDifferent pgc)
           
static Constraint[] makeCumulative(PCumulative pc)
           
static Constraint[] makeDisjunctive(PDisjunctive pd)
           
static Constraint[] makeElement(PElement pe)
           
static Constraint[] makeGlobalCardinality(PGlobalCardinality pgcc)
           
static Constraint[] makeGlobalConstraint(PGlobalConstraint pgc)
           
static Constraint[] makeLexLess(PLexLess pll)
           
static Constraint[] makeLexLessEq(PLexLessEq plle)
           
static Constraint[] makeWeightedSum(PWeightedSum pws)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GloConstraintFactory

public GloConstraintFactory(Model m,
                            InstanceParser parser)
Method Detail

buildAllDiff

public static Constraint buildAllDiff(IntegerVariable[] vars)

buildGcc

public static Constraint buildGcc(IntegerVariable[] vars,
                                  Integer[] values,
                                  IntegerVariable[] noccurrences)

makeAlldDifferent

public static Constraint[] makeAlldDifferent(PAllDifferent pgc)

makeCumulative

public static Constraint[] makeCumulative(PCumulative pc)

makeElement

public static Constraint[] makeElement(PElement pe)

makeWeightedSum

public static Constraint[] makeWeightedSum(PWeightedSum pws)

makeDisjunctive

public static Constraint[] makeDisjunctive(PDisjunctive pd)

makeGlobalCardinality

public static Constraint[] makeGlobalCardinality(PGlobalCardinality pgcc)

makeLexLess

public static Constraint[] makeLexLess(PLexLess pll)

makeLexLessEq

public static Constraint[] makeLexLessEq(PLexLessEq plle)

makeGlobalConstraint

public static Constraint[] makeGlobalConstraint(PGlobalConstraint pgc)


Copyright © 2012. All Rights Reserved.