simplification.h

Go to the documentation of this file.

// This file is part of MARTY.
// 
// MARTY 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.
// 
// MARTY 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 MARTY. If not, see <https://www.gnu.org/licenses/>.

#ifndef SIMPLIFICATION_H_INCLUDED
#define SIMPLIFICATION_H_INCLUDED

#include "abstract.h"

namespace csl {

extern bool RANDOM_SEED;

extern const int NUMBER_OF_MUTATIONS;

extern const int NATURAL_SELECTION;

extern const int NUMBER_OF_GENERATION;

extern const int GENERATION_BEFORE_SELECTION;

extern const int SIMPLIFICATION_METHOD;

extern const int MAX_ALTERNATE_FORMS;

extern const int MAX_RECURSION_ALTERNATE;

void printVector(const csl::vector_expr& vector);

void addAlternateForm(csl::vector_expr& alternateForms,
                      const Expr& newAlternate,
                      bool add_factor_expand=true);

void reduceAlternate(csl::vector_expr& alternateForms);

void clearRedundancyAlternate(csl::vector_expr& alternateForms);

csl::vector_expr getRecursiveAlternateForms(const Expr& expr, int depth=-1);

csl::vector_expr internalRecursiveAlternateForms(const Expr& expr, int depth=-1);

Expr Simplify(const Expr& expr, int depth=-1);

int numberOfMutatingNodes(const Expr& expr);

bool insertSortMutant(csl::vector_expr& vec, const Expr& newExpr);

bool addMutants(csl::vector_expr& individuals, 
        const csl::vector_expr& mutants);

csl::vector_expr getRandomMutation(const Expr& expr);

void naturalSelection(csl::vector_expr& individuals);

Expr evolve(const Expr& baseIndividual);
} // End of namespace csl

#endif