Commit 77125941 authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Move more cpp to c

parent 21e4bb67
......@@ -26,34 +26,39 @@ Library libcool
CCOpt: -std=c++98 -x c++
CSources: gmlmip_stub.c,
minisat_stub.c,
GMLMIP-0.1/formulas/rational.h,
GMLMIP-0.1/satisfyingstack.h,
GMLMIP-0.1/onestep.h,
GMLMIP-0.1/onestep.c,
GMLMIP-0.1/formulas/formula.h,
GMLMIP-0.1/formulas/formula.c,
GMLMIP-0.1/formulas/GML_formula.h,
GMLMIP-0.1/rules/sizefunctions.c,
GMLMIP-0.1/rules/setofconclusions.c,
GMLMIP-0.1/rules/PML_premise.c,
GMLMIP-0.1/rules/valuation.c,
GMLMIP-0.1/rules/node.c,
GMLMIP-0.1/rules/premise.c,
GMLMIP-0.1/rules/radixtree.c,
GMLMIP-0.1/rules/GML_premise.c,
GMLMIP-0.1/onestep-example.c,
GMLMIP-0.1/parser/mlf-driver.c,
GMLMIP-0.1/formulas/GML_formula.c,
GMLMIP-0.1/formulas/PML_formula.h,
GMLMIP-0.1/formulas/PML_formula.c,
GMLMIP-0.1/formulas/rational.h,
GMLMIP-0.1/formulas/rational.c,
GMLMIP-0.1/formulas/satisfyingassignment.h,
GMLMIP-0.1/formulas/formula.c,
GMLMIP-0.1/formulas/satisfyingassignment.c,
GMLMIP-0.1/formulas/PML_formula.c,
GMLMIP-0.1/onestep.c,
GMLMIP-0.1/onestep.h,
GMLMIP-0.1/rules/premise.h,
GMLMIP-0.1/rules/premise.c,
GMLMIP-0.1/rules/GML_premise.h,
GMLMIP-0.1/rules/GML_premise.c,
GMLMIP-0.1/rules/PML_premise.h,
GMLMIP-0.1/rules/PML_premise.c,
GMLMIP-0.1/rules/valuation.h,
GMLMIP-0.1/rules/valuation.c,
GMLMIP-0.1/rules/node.h,
GMLMIP-0.1/rules/radixtree.h,
GMLMIP-0.1/rules/setofconclusions.h,
GMLMIP-0.1/rules/setofconclusions.c,
GMLMIP-0.1/rules/valuation.h,
GMLMIP-0.1/rules/PML_premise.h,
GMLMIP-0.1/rules/sizefunctions.h,
GMLMIP-0.1/rules/sizefunctions.c,
GMLMIP-0.1/rules/radixtree.h,
GMLMIP-0.1/rules/radixtree.c
GMLMIP-0.1/rules/GML_premise.h,
GMLMIP-0.1/parser/mlf-driver.h,
GMLMIP-0.1/formulas/satisfyingassignment.h,
GMLMIP-0.1/formulas/GML_formula.h,
GMLMIP-0.1/formulas/formula.h,
GMLMIP-0.1/formulas/PML_formula.h,
GMLMIP-0.1/formulas/rational.h,
GMLMIP-0.1/satisfyingstack.h
InternalModules: CoAlgLogicUtils, CoAlgLogics
Modules: CoAlgMisc,
CoAlgFormula,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment