| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Thu, 15 Dec 2016 16:27:06 +0000 | |
| changeset 507 | 2e23d23933e6 |
| parent 198 | 2ce98ee39990 |
| permissions | -rw-r--r-- |
abstract class Term case class Var(s: String) extends Term case class Consts(s: String) extends Term case class Fun(s: String, ts: List[Term]) extends Term abstract class Form case object True extends Form case object False extends Form case class And(f1: Form, f2: Form) extends Form case class Or(f1: Form, f2: Form) extends Form case class Imp(f1: Form, f2: Form) extends Form case class Neg(f: Form) extends Form case class Pred(s: String, ts: List[Term]) extends Form