|
|
@ -1,3 +1,29 @@ |
|
|
|
|
|
//============================================================================== |
|
|
|
|
|
// |
|
|
|
|
|
// Copyright (c) 2014- |
|
|
|
|
|
// Authors: |
|
|
|
|
|
// * Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham) |
|
|
|
|
|
// |
|
|
|
|
|
//------------------------------------------------------------------------------ |
|
|
|
|
|
// |
|
|
|
|
|
// This file is part of PRISM. |
|
|
|
|
|
// |
|
|
|
|
|
// PRISM is free software; you can redistribute it and/or modify |
|
|
|
|
|
// it under the terms of the GNU General Public License as published by |
|
|
|
|
|
// the Free Software Foundation; either version 2 of the License, or |
|
|
|
|
|
// (at your option) any later version. |
|
|
|
|
|
// |
|
|
|
|
|
// PRISM is distributed in the hope that it will be useful, |
|
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
|
|
|
|
// GNU General Public License for more details. |
|
|
|
|
|
// |
|
|
|
|
|
// You should have received a copy of the GNU General Public License |
|
|
|
|
|
// along with PRISM; if not, write to the Free Software Foundation, |
|
|
|
|
|
// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
|
|
|
|
// |
|
|
|
|
|
//============================================================================== |
|
|
|
|
|
|
|
|
package prism; |
|
|
package prism; |
|
|
|
|
|
|
|
|
import parser.ast.RelOp; |
|
|
import parser.ast.RelOp; |
|
|
|