dlvhex  2.5.0
testsuite/fixtureE1.h
Go to the documentation of this file.
00001 /* dlvhex -- Answer-Set Programming with external interfaces.
00002  * Copyright (C) 2005, 2006, 2007 Roman Schindlauer
00003  * Copyright (C) 2006, 2007, 2008, 2009, 2010 Thomas Krennwallner
00004  * Copyright (C) 2009, 2010 Peter Schüller
00005  * 
00006  * This file is part of dlvhex.
00007  *
00008  * dlvhex is free software; you can redistribute it and/or modify it
00009  * under the terms of the GNU Lesser General Public License as
00010  * published by the Free Software Foundation; either version 2.1 of
00011  * the License, or (at your option) any later version.
00012  *
00013  * dlvhex is distributed in the hope that it will be useful, but
00014  * WITHOUT ANY WARRANTY; without even the implied warranty of
00015  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00016  * Lesser General Public License for more details.
00017  *
00018  * You should have received a copy of the GNU Lesser General Public
00019  * License along with dlvhex; if not, write to the Free Software
00020  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
00021  * 02110-1301 USA.
00022  */
00023 
00031 #ifndef FIXTUREE1_HPP_INCLUDED__24092010
00032 #define FIXTUREE1_HPP_INCLUDED__24092010
00033 
00034 #include "dummytypes.h"
00035 
00036 // setup eval graph $\cE_2$
00037 struct EvalGraphE1Fixture
00038 {
00039   TestEvalGraph eg;
00040   EvalUnit u1, u2, u3;
00041   EvalUnitDep e21, e32;
00042 
00043   EvalGraphE1Fixture();
00044   ~EvalGraphE1Fixture() {}
00045 };
00046 
00047 #endif // FIXTUREE1_HPP_INCLUDED__24092010