COPASI API  4.16.103
CNormalChoiceLogical.h
Go to the documentation of this file.
1 // Begin CVS Header
2 // $Source: /Volumes/Home/Users/shoops/cvs/copasi_dev/copasi/compareExpressions/CNormalChoiceLogical.h,v $
3 // $Revision: 1.5 $
4 // $Name: $
5 // $Author: gauges $
6 // $Date: 2007/12/12 09:11:50 $
7 // End CVS Header
8 
9 // Copyright (C) 2007 by Pedro Mendes, Virginia Tech Intellectual
10 // Properties, Inc. and EML Research, gGmbH.
11 // All rights reserved.
12 
13 #ifndef CNormalChoiceLogical_H__
14 #define CNormalChoiceLogical_H__
15 
16 #include <string>
17 #include <iostream>
18 
20 
21 class CNormalLogical;
22 
24  {
25  protected:
29 
30  public:
33  virtual ~CNormalChoiceLogical();
34 
35  virtual CNormalBase * copy() const;
36 
38  bool operator==(const CNormalChoiceLogical& rhs) const;
39  bool operator<(const CNormalChoiceLogical& rhs) const;
40 
41  bool setCondition(const CNormalLogical& cond);
42  bool setTrueExpression(const CNormalLogical& branch);
43  bool setFalseExpression(const CNormalLogical& branch);
44 
45  const CNormalLogical& getCondition() const;
47 
48  const CNormalLogical& getTrueExpression() const;
50 
51  const CNormalLogical& getFalseExpression() const;
53 
54  static bool checkConditionTree(const CNormalBase& branch);
55 
56  virtual std::string toString() const;
57  virtual bool simplify();
58 
59  void negate();
60  };
61 
62 std::ostream& operator<<(std::ostream& os, const CNormalChoiceLogical& choice);
63 
64 #endif /* CNormalChoiceLogical_H__ */
CNormalLogical * mpCondition
virtual CNormalBase * copy() const
const CNormalLogical & getCondition() const
const CNormalLogical & getFalseExpression() const
const CNormalLogical & getTrueExpression() const
bool setTrueExpression(const CNormalLogical &branch)
bool operator==(const CNormalChoiceLogical &rhs) const
bool setFalseExpression(const CNormalLogical &branch)
bool operator<(const CNormalChoiceLogical &rhs) const
bool setCondition(const CNormalLogical &cond)
std::ostream & operator<<(std::ostream &os, const CNormalChoiceLogical &choice)
static bool checkConditionTree(const CNormalBase &branch)
virtual std::string toString() const
CNormalChoiceLogical & operator=(const CNormalChoiceLogical &src)
CNormalLogical * mpFalse