CMathTrigger Class Reference

#include <CMathTrigger.h>

Inheritance diagram for CMathTrigger:

Collaboration diagram for CMathTrigger:

Classes
class	CRootFinder

Public Member Functions
void	applyInitialValues ()
bool	calculate ()
void	calculateInitialActivity ()
void	calculateTrueValue ()
	CMathTrigger (const CCopasiContainer *pParent=NULL)
	CMathTrigger (const CMathTrigger &src, const CCopasiContainer *pParent=NULL)
bool	compile (const CExpression *pTriggerExpression, std::vector< CCopasiContainer * > listOfContainer)
CCopasiVector< CRootFinder > &	getRootFinders ()
virtual	~CMathTrigger ()
Public Member Functions inherited from CCopasiContainer
virtual bool	add (CCopasiObject *pObject, const bool &adopt=true)
	CCopasiContainer (const std::string &name, const CCopasiContainer *pParent=NULL, const std::string &type="CN", const unsigned C_INT32 &flag=CCopasiObject::Container)
	CCopasiContainer (const CCopasiContainer &src, const CCopasiContainer *pParent=NULL)
virtual std::string	getChildObjectUnits (const CCopasiObject *pObject) const
virtual const CObjectInterface *	getObject (const CCopasiObjectName &cn) const
virtual const objectMap &	getObjects () const
virtual std::string	getUnits () const
virtual const CCopasiObject *	getValueObject () const
virtual bool	remove (CCopasiObject *pObject)
virtual	~CCopasiContainer ()
Public Member Functions inherited from CCopasiObject
void	addDirectDependency (const CCopasiObject *pObject)
	CCopasiObject (const CCopasiObject &src, const CCopasiContainer *pParent=NULL)
void	clearDirectDependencies ()
void	clearRefresh ()
bool	dependsOn (DataObjectSet candidates, const DataObjectSet &context=DataObjectSet()) const
void	getAllDependencies (DataObjectSet &dependencies, const DataObjectSet &context) const
virtual CCopasiObjectName	getCN () const
virtual const DataObjectSet &	getDirectDependencies (const DataObjectSet &context=DataObjectSet()) const
virtual const std::string &	getKey () const
CCopasiContainer *	getObjectAncestor (const std::string &type) const
CCopasiDataModel *	getObjectDataModel ()
const CCopasiDataModel *	getObjectDataModel () const
virtual std::string	getObjectDisplayName (bool regular=true, bool richtext=false) const
const std::string &	getObjectName () const
CCopasiContainer *	getObjectParent () const
const std::string &	getObjectType () const
virtual const CObjectInterface::ObjectSet &	getPrerequisites () const
virtual Refresh *	getRefresh () const
UpdateMethod *	getUpdateMethod () const
virtual void *	getValuePointer () const
bool	hasCircularDependencies (DataObjectSet &candidates, DataObjectSet &verified, const DataObjectSet &context) const
bool	hasUpdateMethod () const
bool	isArray () const
bool	isContainer () const
bool	isDataModel () const
bool	isMatrix () const
bool	isNameVector () const
bool	isNonUniqueName () const
virtual bool	isPrerequisiteForContext (const CObjectInterface *pObject, const CMath::SimulationContextFlag &context, const CObjectInterface::ObjectSet &changedObjects) const
bool	isReference () const
bool	isRoot () const
bool	isSeparator () const
bool	isStaticString () const
bool	isValueBool () const
bool	isValueDbl () const
bool	isValueInt () const
bool	isValueInt64 () const
bool	isValueString () const
bool	isVector () const
virtual bool	mustBeDeleted (const DataObjectSet &deletedObjects) const
virtual void	print (std::ostream *ostream) const
void	removeDirectDependency (const CCopasiObject *pObject)
void	setDirectDependencies (const DataObjectSet &directDependencies)
bool	setObjectName (const std::string &name)
virtual bool	setObjectParent (const CCopasiContainer *pParent)
void	setObjectValue (const C_FLOAT64 &value)
void	setObjectValue (const C_INT32 &value)
void	setObjectValue (const bool &value)
template<class CType >
void	setRefresh (CType *pType, void(CType::*method)(void))
template<class CType >
void	setUpdateMethod (CType *pType, void(CType::*method)(const C_FLOAT64 &))
template<class CType >
void	setUpdateMethod (CType *pType, void(CType::*method)(const C_INT32 &))
template<class CType >
void	setUpdateMethod (CType *pType, void(CType::*method)(const bool &))
virtual	~CCopasiObject ()
Public Member Functions inherited from CObjectInterface
	CObjectInterface ()
virtual	~CObjectInterface ()

Private Member Functions
bool	compile (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileAND (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileEQ (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileEXPRESSION (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileFUNCTION (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileGE (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileGT (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileLE (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileLT (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileNE (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileNOT (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileOR (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileVARIABLE (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
bool	compileXOR (const CEvaluationNode *pSource, CEvaluationNode *&pTrueExpression)
CEvaluationNode *	copyBranch (const CEvaluationNode *pSource)

Private Attributes
std::stack< std::vector< const CEvaluationNode * > >	mFunctionVariableMap
CCopasiVector< CRootFinder >	mRootFinders
CExpression	mTrueExpression

Additional Inherited Members
Public Types inherited from CCopasiContainer
typedef std::multimap < std::string, CCopasiObject * >	objectMap
Public Types inherited from CCopasiObject
typedef std::set< const CCopasiObject * >	DataObjectSet
typedef std::vector< Refresh * >	DataUpdateSequence
Public Types inherited from CObjectInterface
typedef std::set< const CObjectInterface * >	ObjectSet
typedef std::vector < CObjectInterface * >	UpdateSequence
Static Public Member Functions inherited from CCopasiObject
static std::vector< Refresh * >	buildUpdateSequence (const DataObjectSet &objects, const DataObjectSet &uptoDateObjects, const DataObjectSet &context=DataObjectSet())
static void	setRenameHandler (CRenameHandler *rh)
Static Public Attributes inherited from CCopasiContainer
static const std::vector < CCopasiContainer * >	EmptyList
Protected Types inherited from CCopasiObject
enum	Flag {   Container = 0x1, Vector = 0x2, Matrix = 0x4, NameVector = 0x8,   Reference = 0x10, ValueBool = 0x20, ValueInt = 0x40, ValueInt64 = 0x80,   ValueDbl = 0x100, NonUniqueName = 0x200, StaticString = 0x400, ValueString = 0x800,   Separator = 0x1000, ModelEntity = 0x2000, Array = 0x4000, DataModel = 0x8000,   Root = 0x10000, Gui = 0x20000 }
Protected Member Functions inherited from CCopasiContainer
template<class CType >
CCopasiObject *	addMatrixReference (const std::string &name, CType &reference, const unsigned C_INT32 &flag=0)
template<class CType >
CCopasiObject *	addObjectReference (const std::string &name, CType &reference, const unsigned C_INT32 &flag=0)
template<class CType >
CCopasiObject *	addVectorReference (const std::string &name, CType &reference, const unsigned C_INT32 &flag=0)
void	initObjects ()
Protected Member Functions inherited from CCopasiObject
	CCopasiObject ()
	CCopasiObject (const std::string &name, const CCopasiContainer *pParent=NULL, const std::string &type="CN", const unsigned C_INT32 &flag=0)
Protected Attributes inherited from CCopasiContainer
objectMap	mObjects
Static Protected Attributes inherited from CCopasiObject
static CRenameHandler *	smpRenameHandler = NULL

Detailed Description

Definition at line 13 of file CMathTrigger.h.

Constructor & Destructor Documentation

CMathTrigger::CMathTrigger

(

const CCopasiContainer *

pParent = NULL

)

Default constructor

Parameters

const

CCopasiContainer * pParent (default: NULL)

Definition at line 165 of file CMathTrigger.cpp.

                                                           :
  CCopasiContainer("MathTrigger", pParent, "MathTrigger"),
  mTrueExpression("TrueExpression", this),
  mRootFinders("ListOfRoots", this),
  mFunctionVariableMap()
{}

CMathTrigger::CMathTrigger	(	const CMathTrigger &	src,
		const CCopasiContainer *	pParent = NULL
	)

Copy constructor

Parameters

const CMathTrigger &	src
"const	CCopasiContainer * pParent (default: NULL)

Definition at line 172 of file CMathTrigger.cpp.

                                                             :
  CCopasiContainer(src, pParent),
  mTrueExpression(src.mTrueExpression, this),
  mRootFinders(src.mRootFinders, this),
  mFunctionVariableMap()
{}

CMathTrigger::~CMathTrigger ( )

virtual

Destructor

Definition at line 180 of file CMathTrigger.cpp.

{}

Member Function Documentation

void CMathTrigger::applyInitialValues

(

)

Initialize all values of the math model with their initial values.

Definition at line 183 of file CMathTrigger.cpp.

References mRootFinders.

{
  // Calculate the initial truth value for the root finders
  CCopasiVector< CRootFinder >::iterator itRoot = mRootFinders.begin();
  CCopasiVector< CRootFinder >::iterator endRoot = mRootFinders.end();

  for (; itRoot != endRoot; ++itRoot)
    {
      (*itRoot)->applyInitialValues();
    }
}

bool CMathTrigger::calculate

(

void

)

Calculate the current trigger value.

Returns

value

Definition at line 207 of file CMathTrigger.cpp.

References CExpression::calcValue(), and mTrueExpression.

Referenced by CMathModel::processRoots().

{
  return mTrueExpression.calcValue() > 0.0;
}

void CMathTrigger::calculateInitialActivity

(

)

Determine the activity for the initial conditions.

void CMathTrigger::calculateTrueValue

(

)

Determine the true value for the initial conditions.

Definition at line 195 of file CMathTrigger.cpp.

References mRootFinders.

Referenced by CMathTrigger::CRootFinder::applyInitialValues().

{
  // Calculate the current truth value for the root finders
  CCopasiVector< CRootFinder >::iterator itRoot = mRootFinders.begin();
  CCopasiVector< CRootFinder >::iterator endRoot = mRootFinders.end();

  for (; itRoot != endRoot; ++itRoot)
    {
      (*itRoot)->calculateTrueValue();
    }
}

bool CMathTrigger::compile	(	const CExpression *	pTriggerExpression,
		std::vector< CCopasiContainer * >	listOfContainer
	)

Compile the trigger

Parameters

const	CExpression * pTriggerExpression
std::vector<	CCopasiContainer * > listOfContainer

Returns

bool success

Definition at line 212 of file CMathTrigger.cpp.

References CExpression::compile(), CEvaluationTree::getRoot(), CEvaluationNode::isBoolean(), mFunctionVariableMap, mRootFinders, mTrueExpression, CExpression::setInfix(), and CEvaluationTree::setRoot().

Referenced by CMathEvent::compile(), compileAND(), compileEQ(), compileEXPRESSION(), compileFUNCTION(), compileNOT(), compileOR(), compileVARIABLE(), and compileXOR().

{
  if (pTriggerExpression == NULL)
    return false;

  const CEvaluationNode * pRoot = pTriggerExpression->getRoot();

  if (pRoot == NULL)
    return false;

  // This is a boolean expression thus the root node must be a logical operator.
  if (!pRoot->isBoolean())
    return false;

  mTrueExpression.setInfix("");
  mRootFinders.clear();

  CEvaluationNode * pTrueExpression = NULL;

  bool success = compile(pRoot, pTrueExpression);

  // Build the true expression
  mTrueExpression.setRoot(pTrueExpression);
  success &= mTrueExpression.compile(listOfContainer);

  // Compile all root finder
  CCopasiVector< CRootFinder >::iterator it = mRootFinders.begin();
  CCopasiVector< CRootFinder >::iterator end = mRootFinders.end();

  for (; it != end; ++it)
    {
      success &= (*it)->compile(listOfContainer);
    }

  assert(mFunctionVariableMap.empty());

  return success;
}

bool CMathTrigger::compile ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 257 of file CMathTrigger.cpp.

References CEvaluationNodeLogical::AND, CEvaluationNodeVariable::ANY, CEvaluationNode::CALL, compileAND(), compileEQ(), compileEXPRESSION(), compileFUNCTION(), compileGE(), compileGT(), compileLE(), compileLT(), compileNE(), compileNOT(), compileOR(), compileVARIABLE(), compileXOR(), CEvaluationNode::CONSTANT, CEvaluationNodeLogical::EQ, CEvaluationNodeCall::EXPRESSION, CEvaluationNodeConstant::FALSE, CEvaluationNodeCall::FUNCTION, CEvaluationNode::FUNCTION, CEvaluationNodeLogical::GE, CEvaluationNode::getType(), CEvaluationNodeLogical::GT, CEvaluationNodeLogical::LE, CEvaluationNode::LOGICAL, CEvaluationNodeLogical::LT, CEvaluationNodeLogical::NE, CEvaluationNodeFunction::NOT, CEvaluationNodeLogical::OR, CEvaluationNode::subType(), CEvaluationNodeConstant::TRUE, CEvaluationNode::type(), CEvaluationNode::VARIABLE, and CEvaluationNodeLogical::XOR.

{
  bool success = true;
  const CEvaluationNode::Type & Type = pNode->getType();

  switch (CEvaluationNode::type(Type))
    {
      case CEvaluationNode::LOGICAL:

        switch ((int) CEvaluationNode::subType(Type))
          {
            case CEvaluationNodeLogical::AND:
              success = compileAND(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::OR:
              success = compileOR(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::XOR:
              success = compileXOR(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::EQ:
              success = compileEQ(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::NE:
              success = compileNE(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::LE:
              success = compileLE(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::LT:
              success = compileLT(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::GE:
              success = compileGE(pNode, pTrueExpression);
              break;

            case CEvaluationNodeLogical::GT:
              success = compileGT(pNode, pTrueExpression);
              break;

            default:
              success = false;
              break;
          }

        break;

      case CEvaluationNode::FUNCTION:

        switch ((int) CEvaluationNode::subType(Type))
          {
            case CEvaluationNodeFunction::NOT:
              success = compileNOT(pNode, pTrueExpression);
              break;

            default:
              success = false;
              break;
          }

        break;

      case CEvaluationNode::CALL:

        switch ((int) CEvaluationNode::subType(Type))
          {
            case CEvaluationNodeCall::FUNCTION:
              success = compileFUNCTION(pNode, pTrueExpression);
              break;

            case CEvaluationNodeCall::EXPRESSION:
              success = compileEXPRESSION(pNode, pTrueExpression);
              break;

            default:
              success = false;
              break;
          }

        break;

      case CEvaluationNode::VARIABLE:

        switch ((int) CEvaluationNode::subType(Type))
          {
            case CEvaluationNodeVariable::ANY:
              success = compileVARIABLE(pNode, pTrueExpression);
              break;

            default:
              success = false;
              break;
          }

        break;

      case CEvaluationNode::CONSTANT:

        switch ((int) CEvaluationNode::subType(Type))
          {
            case CEvaluationNodeConstant::TRUE:
              pTrueExpression = new CEvaluationNodeConstant(CEvaluationNodeConstant::TRUE, "TRUE");
              success = true;
              break;

            case CEvaluationNodeConstant::FALSE:
              pTrueExpression = new CEvaluationNodeConstant(CEvaluationNodeConstant::FALSE, "FALSE");
              success = true;
              break;

            default:
              success = false;
              break;
          }

        break;

      default:
        success = false;
        break;
    }

  return success;
}

bool CMathTrigger::compileAND ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 390 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), CEvaluationNodeLogical::AND, compile(), CCopasiNode< _Data >::getChild(), and CCopasiNode< _Data >::getSibling().

Referenced by compile(), and compileEQ().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pLeftTrueExpression = NULL;

  success &= compile(pLeft, pLeftTrueExpression);

  CEvaluationNode * pRightTrueExpression = NULL;

  success &= compile(pRight, pRightTrueExpression);

  pTrueExpression = new CEvaluationNodeLogical(CEvaluationNodeLogical::AND, "AND");
  pTrueExpression->addChild(pLeftTrueExpression);
  pTrueExpression->addChild(pRightTrueExpression);

  return success;
}

bool CMathTrigger::compileEQ ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 459 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), CEvaluationNodeLogical::AND, compile(), compileAND(), copyBranch(), CEvaluationNodeLogical::EQ, CEvaluationNodeLogical::GE, CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), CEvaluationNode::getType(), CEvaluationNode::LOGICAL, pdelete, and CEvaluationNode::type().

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  // Equality can be determined between Boolean and double values.
  if (CEvaluationNode::type(pLeft->getType()) != CEvaluationNode::LOGICAL)
    {
      // We treat x EQ y as (x GE y) AND (y GE x)

      // Create a temporary expression and compile it.
      CEvaluationNode * pAND = new CEvaluationNodeLogical(CEvaluationNodeLogical::AND, "AND");
      CEvaluationNode * pGE = new CEvaluationNodeLogical(CEvaluationNodeLogical::GE, "GE");
      pGE->addChild(copyBranch(pLeft));
      pGE->addChild(copyBranch(pRight));
      pAND->addChild(pGE);

      pGE = new CEvaluationNodeLogical(CEvaluationNodeLogical::GE, "GE");
      pGE->addChild(copyBranch(pRight));
      pGE->addChild(copyBranch(pLeft));
      pAND->addChild(pGE);

      success &= compileAND(pAND, pTrueExpression);

      // Delete the temporary
      pdelete(pAND);
    }
  else
    {
      CEvaluationNode * pLeftTrueExpression = NULL;

      success &= compile(pLeft, pLeftTrueExpression);

      CEvaluationNode * pRightTrueExpression = NULL;

      success &= compile(pRight, pRightTrueExpression);

      pTrueExpression = new CEvaluationNodeLogical(CEvaluationNodeLogical::EQ, "EQ");
      pTrueExpression->addChild(pLeftTrueExpression);
      pTrueExpression->addChild(pRightTrueExpression);
    }

  return success;
}

bool CMathTrigger::compileEXPRESSION ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 680 of file CMathTrigger.cpp.

References compile(), and CEvaluationNode::isBoolean().

Referenced by compile().

{
  if (!pSource->isBoolean())
    return false;

  const CEvaluationNode * pNode =
    static_cast< const CEvaluationNodeCall * >(pSource)->getCalledTree()->getRoot();

  return compile(pNode, pTrueExpression);
}

bool CMathTrigger::compileFUNCTION ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 649 of file CMathTrigger.cpp.

References compile(), CEvaluationNodeCall::getCalledTree(), CCopasiNode< _Data >::getChild(), CEvaluationTree::getRoot(), CCopasiNode< _Data >::getSibling(), CEvaluationNode::isBoolean(), and mFunctionVariableMap.

Referenced by compile().

{
  if (!pSource->isBoolean())
    return false;

  const CEvaluationNodeCall * pSrc =
    static_cast< const CEvaluationNodeCall * >(pSource);

  std::vector< const CEvaluationNode * > Variables;

  const CEvaluationNode * pChild =
    static_cast< const CEvaluationNode * >(pSrc->getChild());

  while (pChild != NULL)
    {
      Variables.push_back(pChild);
      pChild = static_cast< const CEvaluationNode * >(pChild->getSibling());
    }

  mFunctionVariableMap.push(Variables);

  const CEvaluationNode * pNode = pSrc->getCalledTree()->getRoot();

  bool success = compile(pNode, pTrueExpression);

  mFunctionVariableMap.pop();

  return success;
}

bool CMathTrigger::compileGE ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 582 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), copyBranch(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), CMathTrigger::CRootFinder::getTrueExpression(), CMathTrigger::CRootFinder::mEquality, CEvaluationNodeOperator::MINUS, CMathTrigger::CRootFinder::mRoot, mRootFinders, and CEvaluationTree::setRoot().

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pNode;

  // We need to create a root finding structures
  pNode = new CEvaluationNodeOperator(CEvaluationNodeOperator::MINUS, "-");
  pNode->addChild(copyBranch(pLeft));
  pNode->addChild(copyBranch(pRight));

  CRootFinder * pRootFinder = new CRootFinder();
  pRootFinder->mRoot.setRoot(pNode);
  pRootFinder->mEquality = true;
  mRootFinders.add(pRootFinder, true);

  pTrueExpression = pRootFinder->getTrueExpression();

  return success;
}

bool CMathTrigger::compileGT ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 607 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), copyBranch(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), CMathTrigger::CRootFinder::getTrueExpression(), CMathTrigger::CRootFinder::mEquality, CEvaluationNodeOperator::MINUS, CMathTrigger::CRootFinder::mRoot, mRootFinders, and CEvaluationTree::setRoot().

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pNode;

  // We need to create a root finding structures
  pNode = new CEvaluationNodeOperator(CEvaluationNodeOperator::MINUS, "-");
  pNode->addChild(copyBranch(pLeft));
  pNode->addChild(copyBranch(pRight));

  CRootFinder * pRootFinder = new CRootFinder();
  pRootFinder->mRoot.setRoot(pNode);
  pRootFinder->mEquality = false;
  mRootFinders.add(pRootFinder, true);

  pTrueExpression = pRootFinder->getTrueExpression();

  return success;
}

bool CMathTrigger::compileLE ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 532 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), copyBranch(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), CMathTrigger::CRootFinder::getTrueExpression(), CMathTrigger::CRootFinder::mEquality, CEvaluationNodeOperator::MINUS, CMathTrigger::CRootFinder::mRoot, mRootFinders, and CEvaluationTree::setRoot().

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pNode;

  // We need to create a root finding structures
  pNode = new CEvaluationNodeOperator(CEvaluationNodeOperator::MINUS, "-");
  pNode->addChild(copyBranch(pRight));
  pNode->addChild(copyBranch(pLeft));

  CRootFinder * pRootFinder = new CRootFinder();
  pRootFinder->mRoot.setRoot(pNode);
  pRootFinder->mEquality = true;
  mRootFinders.add(pRootFinder, true);

  pTrueExpression = pRootFinder->getTrueExpression();

  return success;
}

bool CMathTrigger::compileLT ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 557 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), copyBranch(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), CMathTrigger::CRootFinder::getTrueExpression(), CMathTrigger::CRootFinder::mEquality, CEvaluationNodeOperator::MINUS, CMathTrigger::CRootFinder::mRoot, mRootFinders, and CEvaluationTree::setRoot().

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pNode;

  // We need to create a root finding structures
  pNode = new CEvaluationNodeOperator(CEvaluationNodeOperator::MINUS, "-");
  pNode->addChild(copyBranch(pRight));
  pNode->addChild(copyBranch(pLeft));

  CRootFinder * pRootFinder = new CRootFinder();
  pRootFinder->mRoot.setRoot(pNode);
  pRootFinder->mEquality = false;
  mRootFinders.add(pRootFinder, true);

  pTrueExpression = pRootFinder->getTrueExpression();

  return success;
}

bool CMathTrigger::compileNE ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 507 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), compileNOT(), CEvaluationNode::copyBranch(), CEvaluationNodeLogical::EQ, CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), and CEvaluationNodeFunction::NOT.

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  // We treat this as NOT and EQ.
  // For this we create a modified copy of the current node.

  CEvaluationNode * pNotNode = new CEvaluationNodeFunction(CEvaluationNodeFunction::NOT, "NOT");
  CEvaluationNode * pEqNode = new CEvaluationNodeLogical(CEvaluationNodeLogical::EQ, "EQ");
  pEqNode->addChild(pLeft->copyBranch());
  pEqNode->addChild(pRight->copyBranch());
  pNotNode->addChild(pEqNode);

  success &= compileNOT(pNotNode, pTrueExpression);

  // Delete the temporary
  delete pNotNode;

  return success;
}

bool CMathTrigger::compileNOT ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 632 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), compile(), CCopasiNode< _Data >::getChild(), and CEvaluationNodeFunction::NOT.

Referenced by compile(), and compileNE().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());

  CEvaluationNode * pLeftTrueExpression = NULL;

  success &= compile(pLeft, pLeftTrueExpression);

  pTrueExpression = new CEvaluationNodeFunction(CEvaluationNodeFunction::NOT, "NOT");
  pTrueExpression->addChild(pLeftTrueExpression);

  return success;
}

bool CMathTrigger::compileOR ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 413 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), compile(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), and CEvaluationNodeLogical::OR.

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pLeftTrueExpression = NULL;

  success &= compile(pLeft, pLeftTrueExpression);

  CEvaluationNode * pRightTrueExpression = NULL;

  success &= compile(pRight, pRightTrueExpression);

  pTrueExpression = new CEvaluationNodeLogical(CEvaluationNodeLogical::OR, "OR");
  pTrueExpression->addChild(pLeftTrueExpression);
  pTrueExpression->addChild(pRightTrueExpression);

  return success;
}

bool CMathTrigger::compileVARIABLE ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 692 of file CMathTrigger.cpp.

References compile(), CEvaluationNode::isBoolean(), and mFunctionVariableMap.

Referenced by compile().

{
  assert(!mFunctionVariableMap.empty());

  size_t Index =
    static_cast< const CEvaluationNodeVariable * >(pSource)->getIndex();

  const CEvaluationNode * pNode = mFunctionVariableMap.top()[Index];

  if (!pNode->isBoolean())
    return false;

  return compile(pNode, pTrueExpression);
}

bool CMathTrigger::compileXOR ( const CEvaluationNode *  pSource, CEvaluationNode *&  pTrueExpression  )

private

Definition at line 436 of file CMathTrigger.cpp.

References CCopasiNode< _Data >::addChild(), compile(), CCopasiNode< _Data >::getChild(), CCopasiNode< _Data >::getSibling(), and CEvaluationNodeLogical::XOR.

Referenced by compile().

{
  bool success = true;

  const CEvaluationNode * pLeft = static_cast<const CEvaluationNode *>(pSource->getChild());
  const CEvaluationNode * pRight = static_cast<const CEvaluationNode *>(pLeft->getSibling());

  CEvaluationNode * pLeftTrueExpression = NULL;

  success &= compile(pLeft, pLeftTrueExpression);

  CEvaluationNode * pRightTrueExpression = NULL;

  success &= compile(pRight, pRightTrueExpression);

  pTrueExpression = new CEvaluationNodeLogical(CEvaluationNodeLogical::XOR, "XOR");
  pTrueExpression->addChild(pLeftTrueExpression);
  pTrueExpression->addChild(pRightTrueExpression);

  return success;
}

CEvaluationNode * CMathTrigger::copyBranch ( const CEvaluationNode *  pSource )

private

Definition at line 708 of file CMathTrigger.cpp.

References CEvaluationNodeConstant::_NaN, C_INVALID_INDEX, CEvaluationNode::copyBranch(), CCopasiNode< _Data >::getData(), CEvaluationNode::getType(), mFunctionVariableMap, and CEvaluationNode::VARIABLE.

Referenced by compileEQ(), compileGE(), compileGT(), compileLE(), and compileLT().

{
  if (pSource->getType() == CEvaluationNode::VARIABLE)
    {
      if (!mFunctionVariableMap.empty())
        {
          size_t Index = static_cast< const CEvaluationNodeVariable * >(pSource)->getIndex();

          if (Index != C_INVALID_INDEX &&
              Index < mFunctionVariableMap.top().size())
            {
              return mFunctionVariableMap.top()[Index]->copyBranch();
            }
        }

      // We have an invalid variables and therefore create an constant node with the
      // variable name and value NaN.
      return new CEvaluationNodeConstant(CEvaluationNodeConstant::_NaN, pSource->getData());
    }

  return pSource->copyBranch();
}

CCopasiVector< CMathTrigger::CRootFinder > & CMathTrigger::getRootFinders

(

)

Retrieve the list of root finders

Returns

CCopasiVector< CRootFinder > & rootFinders

Definition at line 252 of file CMathTrigger.cpp.

References mRootFinders.

Referenced by CMathModel::compile().

{
  return mRootFinders;
}

Member Data Documentation

std::stack< std::vector< const CEvaluationNode * > > CMathTrigger::mFunctionVariableMap

private

A stack to map variable nodes to the value nodes provided in the function call

Definition at line 256 of file CMathTrigger.h.

Referenced by compile(), compileFUNCTION(), compileVARIABLE(), and copyBranch().

CCopasiVector< CRootFinder > CMathTrigger::mRootFinders

private

A vector containing the root expression.

Definition at line 250 of file CMathTrigger.h.

Referenced by applyInitialValues(), calculateTrueValue(), compile(), compileGE(), compileGT(), compileLE(), compileLT(), and getRootFinders().

CExpression CMathTrigger::mTrueExpression

private

This expression evaluates whether the trigger value is true.

Definition at line 245 of file CMathTrigger.h.

Referenced by calculate(), and compile().

---

The documentation for this class was generated from the following files:

• CMathTrigger.h
• CMathTrigger.cpp