xcsp

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 XCallbacks2
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

This class implements an XCSP 3.0 parser.
object XCSPParser extends Parser

This class implements an XCSP 2.0 parser.