xcsp

Ordering

Visibility

final case class PredicateConstant(constant: Int) extends PredicateNode with Product with Serializable
final case class PredicateConstraint(operator: String, arguments: Seq[PredicateNode]) extends PredicateNode with Product with Serializable
sealed trait PredicateNode extends AnyRef
final case class PredicateVariable(variableId: String) extends PredicateNode with Product with Serializable
class XCSP3Callbacks extends XCSP3CallbacksObj with XCSP3CallbacksGeneric with XCSP3CallbacksLanguage with XCSP3CallbacksComparison with XCSP3CallbacksConnection with XCSP3CallbacksCountSum with XCSP3CallbacksPackSched
trait XCSP3CallbacksComparison extends XCSP3CallbacksVars with XCSP3CallbacksGeneric
Created by vion on 30/05/17.
trait XCSP3CallbacksConnection extends XCSP3CallbacksVars
Created by vion on 30/05/17.
trait XCSP3CallbacksCountSum extends XCSP3CallbacksVars with XCSP3CallbacksGeneric with LazyLogging
Created by vion on 30/05/17.
trait XCSP3CallbacksGeneric extends XCSP3CallbacksVars with LazyLogging
Created by vion on 30/05/17.
trait XCSP3CallbacksLanguage extends XCSP3CallbacksVars
Created by vion on 30/05/17.
trait XCSP3CallbacksObj extends XCallbacks2 with XCSP3CallbacksVars with XCSP3CallbacksCountSum
Created by vion on 30/05/17.
trait XCSP3CallbacksPackSched extends XCSP3CallbacksVars
Created by vion on 30/05/17.
trait XCSP3CallbacksVars extends XCallbacks2
Created by vion on 30/05/17.
final class XCSPPredicate extends RegexParsers
This class is used to represent XCSP predicates.

object ConstraintParser extends JavaTokenParsers
object ValueType extends Enumeration
An enumeration to represent various native types for CSP.
An enumeration to represent various native types for CSP. For now, only integers are supported.
object XCSP3Parser extends Parser with LazyLogging
This class implements an XCSP 3.0 parser.
object XCSPParser extends Parser
This class implements an XCSP 2.0 parser.

Packages