ct::common Namespace Reference

Namespaces
namespace	utils
Classes
class	Assignment
class	Constraint
class	Constraint_A
class	Constraint_A_Binary
class	Constraint_A_EQ
class	Constraint_A_GE
class	Constraint_A_GT
class	Constraint_A_LE
class	Constraint_A_LT
class	Constraint_A_NE
class	Constraint_L
class	Constraint_L_And
class	Constraint_L_Atom
class	Constraint_L_Binary
class	Constraint_L_CBool
class	Constraint_L_Iff
class	Constraint_L_Imply
class	Constraint_L_IVLD
class	Constraint_L_Not
class	Constraint_L_Or
class	Constraint_L_Param
class	Constraint_L_Unary
class	Constraint_L_Xor
class	Constraint_S
class	Constraint_S_Binary
class	Constraint_S_EQ
class	Constraint_S_NE
class	EvalType
struct	EvalType_Bool
class	EvalType_Double
class	EvalType_Int
class	EvalType_String
class	Exp
class	Exp_A
class	Exp_A_Add
class	Exp_A_Atom
class	Exp_A_Binary
class	Exp_A_Cast
class	Exp_A_CDouble
class	Exp_A_CInt
class	Exp_A_ConstraintCast
class	Exp_A_Div
class	Exp_A_Mod
class	Exp_A_Mult
class	Exp_A_Neg
class	Exp_A_Param
class	Exp_A_Sub
class	Exp_A_Unary
class	Exp_S
class	Exp_S_Atom
class	Exp_S_CString
class	Exp_S_Param
class	ParamSpec
class	ParamSpec_Bool
class	ParamSpec_Double
class	ParamSpec_Int
class	ParamSpec_String
class	PVPair
class	Seed
class	Seed_Constraint
class	Seed_Tuple
struct	SUTModel
class	TestCase
class	TreeNode
class	Tuple
class	TuplePool
class	CT_Exception
class	Assembler
class	ErrLogger
class	ErrLogger_Cerr
Typedefs
typedef std::vector< std::size_t >	RawStrength
typedef std::pair< std::vector < std::size_t >, std::size_t >	Strength
Enumerations
enum	eEXP_A_TYPE { EAT_INT, EAT_DOUBLE }
enum	eOPERATOR {   OP_ADD, OP_SUB, OP_MULT, OP_DIV,   OP_MOD, OP_NEG, OP_UPLUS, OP_EQ,   OP_NE, OP_GT, OP_GE, OP_LT,   OP_LE, OP_AND, OP_OR, OP_XOR,   OP_IMPLY, OP_IFF, OP_NOT }
Functions
std::size_t	find_param_id (const std::vector< boost::shared_ptr< ParamSpec > > &param_specs, const std::string &param_name)
void	attach_2_raw_strength (const Strength &strength, std::vector< RawStrength > &raw_strengths)
Variables
const std::size_t	PID_BOUND = std::size_t(-1)
const std::size_t	VID_BOUND = std::size_t(-1)
const std::size_t	SID_BOUND = std::size_t(-1)

---

Typedef Documentation

typedef std::vector<std::size_t> ct::common::RawStrength

Definition at line 20 of file strength.h.

typedef std::pair<std::vector<std::size_t>, std::size_t> ct::common::Strength

Decomposed strengths

Definition at line 21 of file strength.h.

---

Enumeration Type Documentation

enum ct::common::eEXP_A_TYPE

Arithmetic expression types

Enumerator:

EAT_INT	Integer type
EAT_DOUBLE	Floating-point type

Definition at line 29 of file exp_a.h.

enum ct::common::eOPERATOR

Operators in constraints and expressions

Enumerator:

OP_ADD
OP_SUB
OP_MULT
OP_DIV
OP_MOD
OP_NEG
OP_UPLUS
OP_EQ
OP_NE
OP_GT
OP_GE
OP_LT
OP_LE
OP_AND
OP_OR
OP_XOR
OP_IMPLY
OP_IFF
OP_NOT

Definition at line 32 of file assembler.h.

---

Function Documentation

void ct::common::attach_2_raw_strength	(	const Strength &	strength,
		std::vector< RawStrength > &	raw_strengths
	)

Original form of strengths Decomposing strengths to raw strengths

Definition at line 43 of file strength.cpp.

std::size_t ct::common::find_param_id	(	const std::vector< boost::shared_ptr< ParamSpec > > &	param_specs,
		const std::string &	param_name
	)

Utility function for finding parameter id from a vector of paramspecs

Definition at line 88 of file paramspec.cpp.

---

Variable Documentation

const std::size_t ct::common::PID_BOUND = std::size_t(-1)

Upper bound for parameter ids, also for not-found parameter id's

Definition at line 20 of file defs.h.

const std::size_t ct::common::SID_BOUND = std::size_t(-1)

Upper bound for seed ids

Definition at line 23 of file seed.h.

const std::size_t ct::common::VID_BOUND = std::size_t(-1)

Upper bound for value ids, also for not-found value id's

Definition at line 21 of file defs.h.