the map from component inputs to Z3 bitvector expressions
the map of component outputs to Z3 bitvector expression
the map of component events to Z3 boolean expression
the SMT context of used to build SMT expressions
the SMT context of used to build SMT expressions
the map of component events to Z3 boolean expression
the map from component inputs to Z3 bitvector expressions
the map of component outputs to Z3 bitvector expression
class representing a component for component analysis by SMT-based approach