flatzinc

Type Members

1. case class FZAnnotation(predAnnId: String, expr: Seq[FZExpr[_]] = Seq()) extends FZExpr[String] with Product with Serializable

   

2. final case class FZArray[T](indices: Seq[IndexSet], typ: FZVarType[T])(implicit evidence$1: scala.reflect.api.JavaUniverse.TypeTag[T]) extends FZVarType[T] with Product with Serializable

   

3. case class FZArrayExpr[+A](value: Seq[FZExpr[A]])(implicit evidence$3: scala.reflect.api.JavaUniverse.TypeTag[A]) extends FZExpr[A] with Product with Serializable

   

4. case class FZArrayIdx[+A](array: String, index: Int)(implicit evidence$1: scala.reflect.api.JavaUniverse.TypeTag[A]) extends FZExpr[A] with Product with Serializable

   

5. case class FZBoolConst(value: Boolean) extends FZConstant[Boolean] with Product with Serializable

   

6. sealed trait FZConstant[+A] extends FZExpr[A]

   

7. sealed trait FZDecl extends AnyRef

   

8. sealed trait FZExpr[+A] extends AnyRef

   

9. case class FZFloatConst(value: Double) extends FZConstant[Double] with Product with Serializable

   

10. final case class FZFloatInterval(lb: Double, ub: Double) extends FZVarType[Double] with Product with Serializable

    

11. case class FZIntConst(value: Int) extends FZConstant[Int] with Product with Serializable

    

12. final case class FZIntInterval(lb: Int, ub: Int) extends FZVarType[Int] with Product with Serializable

    

13. final case class FZIntSeq(values: Seq[Int]) extends FZVarType[Int] with Product with Serializable

    

14. case class FZParamDecl(name: String, expression: CSPOMExpression[_]) extends FZDecl with Product with Serializable

    

15. case class FZRange(range: Range) extends IndexSet with Product with Serializable

    

16. case class FZSetConst(value: Seq[Int]) extends FZConstant[Seq[Int]] with Product with Serializable

    

17. case class FZSolve(mode: SolveMode, ann: Seq[FZAnnotation]) extends Product with Serializable

    

18. case class FZStringLiteral(value: String) extends FZConstant[String] with Product with Serializable

    

19. case class FZVarDecl(name: String, expression: CSPOMExpression[_], affectation: Option[FZExpr[_]], annotations: Seq[FZAnnotation]) extends Product with Serializable

    

20. case class FZVarParId[+A](ident: String)(implicit evidence$2: scala.reflect.api.JavaUniverse.TypeTag[A]) extends FZExpr[A] with Product with Serializable

    

21. sealed trait FZVarType[T] extends AnyRef

    

22. sealed trait IndexSet extends AnyRef

    

23. case class Maximize[T](e: FZExpr[T]) extends SolveMode with Product with Serializable

    

24. case class Minimize[T](e: FZExpr[T]) extends SolveMode with Product with Serializable

    

25. sealed trait SolveMode extends AnyRef