From b179a57ffb482c4ae271b4eef94304b237ce25f5 Mon Sep 17 00:00:00 2001 From: Christoph Egger <Christoph.Egger@fau.de> Date: Fri, 30 Oct 2015 17:55:01 +0100 Subject: [PATCH] Add new datatypes for CTL --- src/lib/CoAlgFormula.ml | 6 ++++++ src/lib/CoAlgFormula.mli | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml index 3be6041..5b44359 100644 --- a/src/lib/CoAlgFormula.ml +++ b/src/lib/CoAlgFormula.ml @@ -61,6 +61,12 @@ type formula = | MU of formula * formula | NU of formula * formula | VAR of string + | AF of formula + | EF of formula + | AG of formula + | EG of formula + | AU of formula * formula + | EU of formula * formula exception ConversionException of formula diff --git a/src/lib/CoAlgFormula.mli b/src/lib/CoAlgFormula.mli index c912ef2..3397ba4 100644 --- a/src/lib/CoAlgFormula.mli +++ b/src/lib/CoAlgFormula.mli @@ -44,6 +44,12 @@ type formula = | MU of formula * formula | NU of formula * formula | VAR of string + | AF of formula + | EF of formula + | AG of formula + | EG of formula + | AU of formula * formula + | EU of formula * formula exception ConversionException of formula -- GitLab