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 goal(g: CSPOMGoal[_])(implicit problem: CSPOM): Unit

    

18. def goal(g: WithParam[CSPOMGoal[_]])(implicit problem: CSPOM): Unit

    

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. def load(file: String): Try[CSPOM]

    

22. def load(url: URL): Try[CSPOM]

    

23. def load(url: URL, format: Parser): Try[CSPOM]

    

    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

24. def loadCNF(file: String): Try[CSPOM]

    

25. def loadFZ(file: String): Try[CSPOM]

    

26. def loadXCSP(file: String): Try[CSPOM]

    

    Loads a CSPOM from a given XCSP file.

    Loads a CSPOM from a given XCSP file.

    returns

    The loaded CSPOM

27. lazy val logger: Logger

    

    Attributes

    protected

    Definition Classes

    LazyLogging

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

    

    Definition Classes

    AnyRef

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. 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

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

    

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

    

    Definition Classes

    AnyRef

34. def toString(): String

    

    Definition Classes

    AnyRef → Any

35. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )