XCSPParser

Type Members

case class Extension(init: Boolean, relation: Relation[Int]) extends Product with Serializable
implicit class IterableNodeList extends Iterable[Node]
sealed trait XCSP extends AnyRef
case class XCSP2(document: Node) extends Product with Serializable
case class XCSP3(document: Document) extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def andThen[A](g: (Try[CSPOM]) ⇒ A): (InputStream) ⇒ A

Definition Classes
Function1
Annotations
@unspecialized()
def apply(document: Node): Try[CSPOM]
def apply(is: InputStream): Try[CSPOM]

Append the XCSP data provided by the InputStream to the given CSPOM problem.
Append the XCSP data provided by the InputStream to the given CSPOM problem.
is
The source of the XCSP data

Definition Classes
XCSPParser → Function1
Exceptions thrown
CSPParseException Thrown if is contains invalid data
IOException Thrown if the data could not be read
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compose[A](g: (A) ⇒ InputStream): (A) ⇒ Try[CSPOM]

Definition Classes
Function1
Annotations
@unspecialized()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def parseDomain(desc: String): RangeSet[Infinitable]

Parse the given expression given as a String.
Parse the given expression given as a String. Domains are usually sequence of values separated by spaces such as "1 3 -4 5" or intervals in the format "a..b". Sequences of values and intervals such as "1 3..10 18..30" are allowed and converted to a sequence of values.
returns
The resulting Domain object
def parseRange(interval: String): IntInterval
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Function1 → AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package xcsp

object XCSPParser extends Parser

Type Members

case class Extension(init: Boolean, relation: Relation[Int]) extends Product with Serializable

implicit class IterableNodeList extends Iterable[Node]

sealed trait XCSP extends AnyRef

case class XCSP2(document: Node) extends Product with Serializable

case class XCSP3(document: Document) extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def andThen[A](g: (Try[CSPOM]) ⇒ A): (InputStream) ⇒ A

def apply(document: Node): Try[CSPOM]

def apply(is: InputStream): Try[CSPOM]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[A](g: (A) ⇒ InputStream): (A) ⇒ Try[CSPOM]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def parseDomain(desc: String): RangeSet[Infinitable]

def parseRange(interval: String): IntInterval

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from (InputStream) ⇒ Try[CSPOM]

Inherited from AnyRef

Inherited from Any

Ungrouped