/usr/include/sbml/packages/qual/validator/constraints/ResultBecomesNegative.h is in libsbml5-dev 5.10.0+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 | /**
* @cond doxygenLibsbmlInternal
*
* @file ResultBecomesNegative.h
* @brief Checks rule ordering for l2v1 and l1
* @author Sarah Keating
*
* <!--------------------------------------------------------------------------
* This file is part of libSBML. Please visit http://sbml.org for more
* information about SBML, and the latest version of libSBML.
*
* Copyright (C) 2013-2014 jointly by the following organizations:
* 1. California Institute of Technology, Pasadena, CA, USA
* 2. EMBL European Bioinformatics Institute (EMBL-EBI), Hinxton, UK
* 3. University of Heidelberg, Heidelberg, Germany
*
* Copyright (C) 2009-2013 jointly by the following organizations:
* 1. California Institute of Technology, Pasadena, CA, USA
* 2. EMBL European Bioinformatics Institute (EMBL-EBI), Hinxton, UK
*
* Copyright (C) 2006-2008 by the California Institute of Technology,
* Pasadena, CA, USA
*
* Copyright (C) 2002-2005 jointly by the following organizations:
* 1. California Institute of Technology, Pasadena, CA, USA
* 2. Japan Science and Technology Agency, Japan
*
* This library is free software; you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation. A copy of the license agreement is provided
* in the file named "LICENSE.txt" included with this software distribution
* and also available online as http://sbml.org/software/libsbml/license.html
* ---------------------------------------------------------------------- -->*/
#ifndef ResultBecomesNegative_h
#define ResultBecomesNegative_h
#ifdef __cplusplus
#include <string>
#include <sbml/validator/VConstraint.h>
#include <sbml/packages/qual/sbml/Transition.h>
LIBSBML_CPP_NAMESPACE_BEGIN
class ResultBecomesNegative: public TConstraint<Model>
{
public:
/**
* Creates a new Constraint with the given constraint id.
*/
ResultBecomesNegative (unsigned int id, Validator& v);
/**
* Destroys this Constraint.
*/
virtual ~ResultBecomesNegative ();
protected:
/**
* Checks that <ci> element after an apply is already listed as a FunctionDefinition.
*/
virtual void check_ (const Model& m, const Model& object);
void checkResult(const QualitativeSpecies* qs,
const QualModelPlugin* plug);
/**
* Logs a message .
*/
void logNegativeResult (const Transition& tr,
const SBase& object);
};
LIBSBML_CPP_NAMESPACE_END
#endif /* __cplusplus */
#endif /* ResultBecomesNegative_h */
/** @endcond */
|