csl.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 CSL_H_INCLUDED
#define CSL_H_INCLUDED

#include "abstract.h"
#include "literal.h"
#include "abreviation.h"
#include "numerical.h"
#include "numericalEval.h"
#include "evaluation.h"
#include "mathFunctions.h"
#include "operations.h"
#include "vector.h"
#include "diagonalization.h"
#include "operator.h"
#include "parent.h"
#include "field.h"
#include "indicial.h"
#include "indicialExpander.h"
#include "scalar.h"
#include "tensorField.h"
#include "objectSymmetry.h"
#include "functional.h"
#include "cslcomplex.h"
#include "options.h"
#include "sort.h"
#include "lock.h"

#include "replace.h"
#include "utils.h"
#include "conditional.h"
#include "algo.h"
#include "interface.h"
#include "interface_indicial.h"
#include "hardFactor.h"
#include "partialExpand.h"
#include "patternMatch.h"
#include "hardComparison.h"
#include "dichotomy.h"
#include "cast.h"
#include "precision_float.h"
#include "space.h"
#include "simplification.h"
#include "commutation.h"
#include "equation.h"
#include "property.h"
#include "comparison.h"
#include "pseudoIntegral.h"

#include "counter.h"
#include "symmetricCounter.h"
#include "scopedProperty.h"
#include "progressBar.h"
#include "timer.h"
#include "timeMonitor.h"
#include "linear_map.h"
#include "initSanitizer.h"
#include "multipermutation.h"

#include "librarygenerator.h"
#include "libraryfunction.h"
#include "librarytensor.h"
#include "librarydependency.h"
#include "libraryexpander.h"
#include "libraryevaluator.h"

#endif