CSPOM

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def apply(f: (CSPOM) ⇒ Any): CSPOM

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def autoParser(url: URL): Option[Parser]

   

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. implicit def constant[A <: AnyVal](c: A)(implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[A]): CSPOMConstant[A]

   

9. implicit def constantSeq[A <: AnyVal](c: Seq[A])(implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[A]): CSPOMSeq[A]

   

10. def ctr[A](c: CSPOMConstraint[A])(implicit problem: CSPOM): CSPOMConstraint[A]

    

11. def ctr(v: SimpleExpression[Boolean])(implicit problem: CSPOM): CSPOMConstraint[Boolean]

    

12. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def file2url(file: String): URL

    

15. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

17. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

18. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

19. def load(file: String): Try[(CSPOM, Map[Symbol, Any])]

    

20. def load(url: URL): Try[(CSPOM, Map[Symbol, Any])]

    

21. def load(url: URL, format: Parser): Try[(CSPOM, Map[Symbol, Any])]

    

    Loads a CSPOM from a given XCSP file.

    Loads a CSPOM from a given XCSP file.

    url

    An URL locating the XCSP file. Filenames ending with .gz or .bz2 will be inflated accordingly.

    returns

    The loaded CSPOM and the list of original variable names

22. def loadCNF(file: String): Try[(CSPOM, Map[Symbol, Any])]

    

23. def loadFZ(file: String): Try[(CSPOM, Map[Symbol, Any])]

    

24. def loadXCSP(file: String): Try[(CSPOM, Map[Symbol, Any])]

    

    Loads a CSPOM from a given XCSP file.

    Loads a CSPOM from a given XCSP file.

    returns

    The loaded CSPOM

25. implicit def matrix(sc: StringContext): MatrixContext

    

26. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

29. def problemInputStream(url: URL): Try[InputStream]

    

    Opens an InputStream according to the given URL.

    Opens an InputStream according to the given URL. If URL ends with ".gz" or ".bz2", the stream is inflated accordingly.

    url

    URL to open

    returns

    An InputStream corresponding to the given URL

    Annotations

    @throws( classOf[IOException] )

    Exceptions thrown

    IOException If the InputStream could not be opened

30. implicit def seq2CSPOMSeq[A](c: Seq[CSPOMExpression[A]])(implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[A]): CSPOMSeq[A]

    

31. implicit def seq2Rel(s: Seq[Seq[Int]]): Relation[Int]

    

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

    

    Definition Classes

    AnyRef

33. def toString(): String

    

    Definition Classes

    AnyRef → Any

34. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )