ConstraintOperations.h

Go to the documentation of this file.

/** 
 * @file   ConstraintOperations.h
 * @author Sebastian Junges
 * @ingroup constraints
 *
 */
 
#pragma once
 
#include <iterator>
 
#include <carl-formula/arithmetic/Constraint.h>
#include "RationalFunction.h"
 
 
 
namespace carl 
{
    namespace constraints 
    {
        /// Converts Constraint<RationalFunction<Poly>> to Constraint<Poly>
        template<typename PolType, bool AS, typename InIt, typename InsertIt>
        void toPolynomialConstraints(InIt start, 
                                     InIt end,
                                     InsertIt out) 
        {
            using PCon = Constraint<PolType>;
        
            // TODO add static assertion.InsertIt
            for(auto it = start; it != end; ++it)
            {
                if(it->isTrivialTrue()) 
                {
                    out = PCon(true);
                }
                else if(it->isTrivialFalse())
                {
                    out = PCon(false);
                }
                else if(it->lhs().denominator().is_one())
                {
                    out = PCon(it->lhs().nominator(), it->rel());
                } 
                else 
                {
                    assert(!it->lhs().denominator().is_constant());
                    out = PCon(it->lhs().nominator(), inverse(it->rel()));
                    out = PCon(it->lhs().nominator() * it->lhs().denominator(), it->rel());
                }
                
                
            }
        }
    }
}