boost::spirit::traits Namespace Reference

Functions
template<>
bool	scale (int exp, storm::RationalNumber &r, storm::RationalNumber acc)
template<>
bool	is_equal_to_one (storm::RationalNumber const &value)
template<>
storm::RationalNumber	negate (bool neg, storm::RationalNumber const &number)

Function Documentation

is_equal_to_one()

template<>

bool boost::spirit::traits::is_equal_to_one

(

storm::RationalNumber const &

value

)

Definition at line 27 of file ExpressionParser.cpp.

negate()

template<>

storm::RationalNumber boost::spirit::traits::negate	(	bool	neg,
		storm::RationalNumber const &	number
	)

Definition at line 33 of file ExpressionParser.cpp.

scale()

template<>

bool boost::spirit::traits::scale	(	int	exp,
		storm::RationalNumber &	r,
		storm::RationalNumber	acc
	)

Definition at line 16 of file ExpressionParser.cpp.