Frobby  0.9.0
Functions | Variables
OptSliceParams.h File Reference

Go to the source code of this file.

Functions

SliceParamsuseBoundElimination (bool value)
 
SliceParamsuseBoundSimplification (bool value)
 
slice useBoundElimination (getBool(cli, UseBoundEliminationName))
 
slice useBoundSimplification (getBool(cli, UseBoundSimplificationName))
 
 _useBoundElimination (true)
 

Variables

bool _useBoundElimination
 
bool _useBoundSimplification
 
const char * UseBoundEliminationName = "bound"
 
const char * UseBoundSimplificationName = "boundSimplify"
 

Function Documentation

_useBoundElimination ( true  )
SliceParams& useBoundElimination ( bool  value)
slice useBoundElimination ( getBool(cli, UseBoundEliminationName )
SliceParams& useBoundSimplification ( bool  value)
slice useBoundSimplification ( getBool(cli, UseBoundSimplificationName )

Variable Documentation

bool _useBoundElimination

Definition at line 3 of file OptSliceParams.h.

bool _useBoundSimplification

Definition at line 4 of file OptSliceParams.h.

const char* UseBoundEliminationName = "bound"

Definition at line 8 of file OptSliceParams.h.

const char* UseBoundSimplificationName = "boundSimplify"

Definition at line 9 of file OptSliceParams.h.