From 0bb79b6b23bf6950657a3c672e74d8c4ad095a51 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 23 Mar 2017 01:02:53 +0100 Subject: [PATCH] =?UTF-8?q?Removed=20quirk=20that=20has=20become=20unneces?= =?UTF-8?q?sary=20with=20Clingo=E2=80=99s=20variants.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- include/anthem/ASTForward.h | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/include/anthem/ASTForward.h b/include/anthem/ASTForward.h index 4440448..2303c12 100644 --- a/include/anthem/ASTForward.h +++ b/include/anthem/ASTForward.h @@ -65,7 +65,7 @@ using VariablePointer = std::unique_ptr; // Variants //////////////////////////////////////////////////////////////////////////////////////////////////// -using FormulaT = Clingo::Variant< +using Formula = Clingo::Variant< And, Biconditional, Boolean, @@ -78,12 +78,7 @@ using FormulaT = Clingo::Variant< Or, Predicate>; -class Formula : public FormulaT -{ - using FormulaT::FormulaT; -}; - -using TermT = Clingo::Variant< +using Term = Clingo::Variant< BinaryOperation, Boolean, Constant, @@ -94,11 +89,6 @@ using TermT = Clingo::Variant< String, Variable>; -class Term : public TermT -{ - using TermT::TermT; -}; - //////////////////////////////////////////////////////////////////////////////////////////////////// }