Constraint.h

Go to the documentation of this file.

/*
 * GiNaCRA - GiNaC Real Algebra package
 * Copyright (C) 2010-2012  Ulrich Loup, Joachim Redies, Sebastian Junges
 *
 * This file is part of GiNaCRA.
 *
 * GiNaCRA 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 3 of the License, or
 * (at your option) any later version.
 *
 * GiNaCRA 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 GiNaCRA.  If not, see <http://www.gnu.org/licenses/>.
 *
 */


#ifndef GINACRA_CONSTRAINT_H
#define GINACRA_CONSTRAINT_H

#include "constants.h"
#include "Polynomial.h"
#include "RealAlgebraicPoint.h"

using std::invalid_argument;
using GiNaC::symbol;

namespace GiNaCRA
{
    class Constraint
    {
        public:

            // Con- and destructors //

            Constraint():
                mPoly(),
                mSign(),
                mVariables(),
                mNegated( false )
            {}

            Constraint( const Polynomial& p, const GiNaC::sign s, const vector<symbol> v, bool negated = false ):
                mPoly( p ),
                mSign( s ),
                mVariables( checkVariables( p, v )),
                mNegated( negated )
            {}

            // Selectors //

            const Polynomial poly() const
            {
                return mPoly;
            }

            const GiNaC::sign sign() const
            {
                return mSign;
            }

            const vector<symbol> variables() const
            {
                return mVariables;
            }

            // Operations //

            bool satisfiedBy( const RealAlgebraicPoint& r ) const;

        private:

            // Attributes //

            Polynomial     mPoly;
            GiNaC::sign    mSign;
            vector<symbol> mVariables;
            bool           mNegated;

            // Auxiliary methods //

            const vector<symbol> checkVariables( const Polynomial& p, const vector<symbol>& v ) const throw ( invalid_argument );

    };    // class Constraint

}    // namespace GiNaCRA

#endif