FlatZincParser

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 andThen[A](g: (Try[CSPOM]) ⇒ A): (InputStream) ⇒ A

    

    Definition Classes

    Function1

    Annotations

    @unspecialized()

13. def annotation: Parser[FZAnnotation]

    

14. def annotations: Parser[Seq[FZAnnotation]]

    

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

    

    Definition Classes

    FlatZincParser → Function1

16. def array_expr: Parser[FZArrayExpr[Any]]

    

17. def array_exprInAnn: Parser[FZArrayExpr[Any]]

    

18. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

19. def bool_const: Parser[FZBoolConst]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

23. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Function1

    Annotations

    @unspecialized()

26. def constraint(declared: Map[String, CSPOMExpression[Any]]): Parser[CSPOMConstraint[Boolean]]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

30. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    Parsers

32. def expr: Parser[FZExpr[Any]]

    

33. def exprInAnn: Parser[FZExpr[Any]]

    

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

    

    Definition Classes

    Parsers

35. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

36. def flatzincModel: Parser[CSPOM]

    

37. def float_const: Parser[FZFloatConst]

    

38. def fzAnnotations(ann: Seq[FZAnnotation]): Seq[(String, Seq[FZAnnotation])]

    

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

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    Parsers

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

    

    Attributes

    protected

    Definition Classes

    RegexParsers

42. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

43. def index_set: Parser[Seq[IndexSet]]

    

44. def index_set1: Parser[IndexSet]

    

45. def int_const: Parser[FZIntConst]

    

46. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    Parsers

52. final def notify(): Unit

    

    Definition Classes

    AnyRef

53. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    Parsers

55. def par_pred_param_type: Parser[Any]

    

56. def par_type: Parser[FZVarType[_]]

    

57. def param_decl: Parser[FZParamDecl]

    

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    RegexParsers → Parsers

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

    

    Definition Classes

    RegexParsers → Parsers

66. def pred_ann_id: Parser[String]

    

67. def pred_decl: Parser[Any]

    

68. def pred_param: Parser[Any]

    

69. def pred_param_type: Parser[Any]

    

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

    

    Definition Classes

    RegexParsers

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

    

    Definition Classes

    Parsers

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

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

77. def set_const: Parser[FZSetConst]

    

78. def single_var_type: Parser[FZVarType[_]]

    

79. def skipWhitespace: Boolean

    

    Definition Classes

    RegexParsers

80. def solve_goal: Parser[FZSolve]

    

81. def stringLiteral: Parser[String]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

84. def toString(): String

    

    Definition Classes

    Function1 → AnyRef → Any

85. def var_decl: Parser[FZVarDecl]

    

86. def var_par_id: Parser[FZVarParId[Any]]

    

87. def var_pred_param_type: Parser[Any]

    

88. def var_type: Parser[FZVarType[_]]

    

89. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

92. val whiteSpace: Regex

    

    Attributes

    protected

    Definition Classes

    RegexParsers