Package

util

cardinality

Permalink

package cardinality

Visibility
  1. Public
  2. All

Type Members

  1. case class CardinalityEncoder(popSize: Int, relop: RelOp, k: Int, encoding: Encoding) extends Product with Serializable

    Permalink

    This class is used as a template to instanciate cardinality constraints.

  2. sealed trait Encoding extends AnyRef

    Permalink

    Encoding strategy.

  3. class MyByteArrayOutputStream extends ByteArrayOutputStream

    Permalink

    Adds a string conversion method to a java.io.ByteArrayOutputStream.

  4. sealed trait RelOp extends AnyRef

    Permalink

    Relational operators supported in the constraints.

Value Members

  1. object AtLeast extends RelOp with Product with Serializable

    Permalink
  2. object AtMost extends RelOp with Product with Serializable

    Permalink
  3. object Binary extends Encoding with Product with Serializable

    Permalink
  4. object DimacsParser extends RegexParsers

    Permalink

    Parses the dimacs format generated by a sat4j DimacsOutputSolver.

  5. object Exactly extends RelOp with Product with Serializable

    Permalink
  6. object Sequential extends Encoding with Product with Serializable

    Permalink

Ungrouped