patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Removed quirk that has become unnecessary with Clingo’s variants.

This commit is contained in:
Patrick Lühne 2017-03-23 01:02:53 +01:00
parent 13ed0b013a
commit 0bb79b6b23
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
include/anthem/ASTForward.h
View File

@ -65,7 +65,7 @@ using VariablePointer = std::unique_ptr<Variable>;
// 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;
};
////////////////////////////////////////////////////////////////////////////////////////////////////
}