Frobby 0.9.5
|
#include "stdinc.h"
#include "OptimizeStrategy.h"
#include "tests.h"
#include "IdealFactory.h"
#include "Ideal.h"
#include "TermTranslator.h"
#include "TermGrader.h"
#include "SplitStrategy.h"
#include "Slice.h"
#include <vector>
Go to the source code of this file.
Macros | |
#define | INNER_SIMP_TEST(strat, div, dom, degree, expectPivot) |
#define | OUTER_SIMP_TEST(strat, div, dom, degree, expectPivot) |
Functions | |
TEST (OptimizeStrategy, Simplify) | |
TEST (OptimizeStrategy, ChangedInWayRelevantToBound) | |
TEST (OptimizeStrategy, SimplifyPositiveGrading) | |
TEST (OptimizeStrategy, SimplifyNegativeGrading) | |
Definition at line 100 of file OptimizeStrategyTest.cpp.
Definition at line 112 of file OptimizeStrategyTest.cpp.
TEST | ( | OptimizeStrategy | , |
ChangedInWayRelevantToBound | |||
) |
Definition at line 61 of file OptimizeStrategyTest.cpp.
TEST | ( | OptimizeStrategy | , |
Simplify | |||
) |
Definition at line 47 of file OptimizeStrategyTest.cpp.
TEST | ( | OptimizeStrategy | , |
SimplifyNegativeGrading | |||
) |
Definition at line 168 of file OptimizeStrategyTest.cpp.
TEST | ( | OptimizeStrategy | , |
SimplifyPositiveGrading | |||
) |
Definition at line 124 of file OptimizeStrategyTest.cpp.