clipsmm - C++ CLIPS Interface Library
Go to the documentation of this file.
55 template<
typename ValueType>
56 any(
const ValueType & value)
79 template<
typename ValueType>
99 const std::type_info &
type()
const
116 virtual const std::type_info &
type()
const = 0;
122 template<
typename ValueType>
134 virtual const std::type_info &
type()
const
136 return typeid(ValueType);
152 template<
typename ValueType>
162 virtual const char *
what()
const throw()
164 return "boost::bad_any_cast: "
165 "failed conversion using boost::any_cast";
169 template<
typename ValueType>
172 return operand && operand->
type() ==
typeid(ValueType)
177 template<
typename ValueType>
180 return any_cast<ValueType>(
const_cast<any *
>(operand));
183 template<
typename ValueType>
186 const ValueType * result =
any_cast<ValueType>(&operand);
Generated on Thu Sep 27 2012 17:57:05 for clipsmm by
1.8.1.2