XCSPPredicate

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 OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

   

   Definition Classes

   Parsers

5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

   

   Definition Classes

   Parsers

6. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

   

   Definition Classes

   Parsers

7. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

   

   Definition Classes

   Parsers

8. implicit def accept(e: Elem): Parser[Elem]

   

   Definition Classes

   Parsers

9. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

   

   Definition Classes

   Parsers

10. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    

    Definition Classes

    Parsers

11. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    

    Definition Classes

    Parsers

12. def applyParameters(constraintParameters: String): String

    

    Apply constraints parameters to the predicate and obtain the modified expression.

    Apply constraints parameters to the predicate and obtain the modified expression. Parameter names are mapped to variable names or constants.

    constraintParameters

    Constraint parameters

    returns

    The expression obtained by applying the given parameters to the predicate.

    Exceptions thrown

    PredicateParseException if the constraint parameters are incompatible with the predicate parameters.

13. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

14. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    

    Definition Classes

    Parsers

15. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    

    Definition Classes

    Parsers

16. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    

    Definition Classes

    Parsers

17. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

18. def commit[T](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    Parsers

19. def elem(e: Elem): Parser[Elem]

    

    Definition Classes

    Parsers

20. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

22. def equals(obj: Any): Boolean

    

    Definition Classes

    XCSPPredicate → AnyRef → Any

23. def err(msg: String): Parser[Nothing]

    

    Definition Classes

    Parsers

24. val expression: String

    

    Predicate expression.

25. def failure(msg: String): Parser[Nothing]

    

    Definition Classes

    Parsers

26. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

28. def guard[T](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    Parsers

29. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    

    Attributes

    protected

    Definition Classes

    RegexParsers

30. val hashCode: Int

    

    Definition Classes

    XCSPPredicate → AnyRef → Any

31. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

32. implicit def literal(s: String): Parser[String]

    

    Definition Classes

    RegexParsers

33. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    

    Definition Classes

    Parsers

34. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

36. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    

    Definition Classes

    Parsers

37. final def notify(): Unit

    

    Definition Classes

    AnyRef

38. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

39. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    

    Definition Classes

    Parsers

40. def paramId: Parser[String]

    

41. def parameter: Parser[(String, String)]

    

42. val parameters: Seq[String]

    

    Maps parameters to their respective types.

43. def parametersParser: Parser[Seq[(String, String)]]

    

44. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    

    Definition Classes

    RegexParsers

45. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    

    Definition Classes

    RegexParsers

46. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    

    Definition Classes

    RegexParsers

47. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    

    Definition Classes

    RegexParsers

48. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    

    Definition Classes

    RegexParsers

49. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    

    Definition Classes

    RegexParsers

50. def phrase[T](p: Parser[T]): Parser[T]

    

    Definition Classes

    RegexParsers → Parsers

51. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    RegexParsers → Parsers

52. implicit def regex(r: Regex): Parser[String]

    

    Definition Classes

    RegexParsers

53. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

54. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

    Annotations

    @migration

    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

55. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

56. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    

    Definition Classes

    Parsers

57. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

58. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    

    Definition Classes

    Parsers

59. def skipWhitespace: Boolean

    

    Definition Classes

    RegexParsers

60. def success[T](v: T): Parser[T]

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

62. def toString(): String

    

    Definition Classes

    XCSPPredicate → AnyRef → Any

63. def typ: Parser[String]

    

64. val types: Map[String, String]

    

    Maps parameters to their respective types.

65. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

68. val whiteSpace: Regex

    

    Attributes

    protected

    Definition Classes

    RegexParsers