Struct zmbt::SignalOperatorHandler::operators_t¶

Public Attributes¶

Type	Name
binary_transform	add_
binary_transform	blshift_
binary_transform	brshift_
binary_transform	bxor_
unary_transform	compl_
binary_transform	conj_
decorate_fn	decorate_
binary_transform	disj_
binary_transform	div_
binary_predicate	is_equal_
binary_predicate	is_le_
binary_predicate	is_lt_
unary_predicate	is_truth_
binary_transform	land_
binary_transform	lor_
binary_transform	mod_
binary_transform	mul_
unary_transform	neg_
unary_transform	not_
binary_transform	sub_

Public Attributes Documentation¶

variable add_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::add_;

variable blshift_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::blshift_;

variable brshift_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::brshift_;

variable bxor_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::bxor_;

variable compl_¶

unary_transform zmbt::SignalOperatorHandler::operators_t::compl_;

variable conj_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::conj_;

variable decorate_¶

decorate_fn zmbt::SignalOperatorHandler::operators_t::decorate_;

variable disj_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::disj_;

variable div_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::div_;

variable is_equal_¶

binary_predicate zmbt::SignalOperatorHandler::operators_t::is_equal_;

variable is_le_¶

binary_predicate zmbt::SignalOperatorHandler::operators_t::is_le_;

variable is_lt_¶

binary_predicate zmbt::SignalOperatorHandler::operators_t::is_lt_;

variable is_truth_¶

unary_predicate zmbt::SignalOperatorHandler::operators_t::is_truth_;

variable land_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::land_;

variable lor_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::lor_;

variable mod_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::mod_;

variable mul_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::mul_;

variable neg_¶

unary_transform zmbt::SignalOperatorHandler::operators_t::neg_;

variable not_¶

unary_transform zmbt::SignalOperatorHandler::operators_t::not_;

variable sub_¶

binary_transform zmbt::SignalOperatorHandler::operators_t::sub_;

The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/model/signal_operator_handler.hpp