Type Members

1.  sealed trait Atom extends Product with Serializable
2.  final case class AtomVar(v: Var) extends Atom with Product with Serializable
3.  final case class Condition(head: Literal, body: List[Literal]) extends Product with Serializable
4.  final case class Const(name: String) extends SimpleTerm with Product with Serializable
5.  final case class Constant(c: Const) extends Atom with Product with Serializable

   Constant atom

   Constant atom

   c

   constant

6.  final case class Constraint(body: Literal*) extends Statement with Product with Serializable
7.  final case class Count(condition: Condition, value: Var) extends Literal with Product with Serializable
8.  final case class Disj(ls: Literal*) extends Head with Product with Serializable
9.  final case class Fact(head: Literal) extends Statement with Product with Serializable
10.  final case class Func(name: String, terms: Term*) extends Term with Product with Serializable
11.  final case class Function(f: Func) extends Atom with Product with Serializable

    Function atom

12.  sealed trait Head extends Product with Serializable
13.  final case class IntTerm(n: Int) extends SimpleTerm with Product with Serializable
14.  final case class LessThan(v1: SimpleTerm, v2: SimpleTerm) extends Literal with Product with Serializable
15.  final case class LessThanEqual(v1: SimpleTerm, v2: SimpleTerm) extends Literal with Product with Serializable
16.  final case class Lit(l: Literal) extends Head with Product with Serializable
17.  sealed trait Literal extends Product with Serializable
18.  final case class Neg(a: Atom) extends Literal with Product with Serializable
19.  final case class PlainString(str: String) extends Statement with Product with Serializable
20.  final case class Pos(a: Atom) extends Literal with Product with Serializable
21.  case class Program(statements: Seq[Statement]) extends Product with Serializable
22.  final case class Rule(head: Head, body: Literal*) extends Statement with Product with Serializable
23.  final case class ShowDirective(name: String, args: Int) extends Statement with Product with Serializable
24.  sealed trait SimpleTerm extends Term
25.  sealed trait Statement extends Product with Serializable
26.  final case class StrTerm(str: String) extends SimpleTerm with Product with Serializable
27.  final case class StringTerm(str: String) extends SimpleTerm with Product with Serializable
28.  sealed trait Term extends Product with Serializable
29.  final case class Tuple(terms: Term*) extends Term with Product with Serializable
30.  final case class Var(name: String) extends SimpleTerm with Product with Serializable