qsrlib_qsrs.qsr_qtc_simplified_abstractclass module¶
-
class
qsrlib_qsrs.qsr_qtc_simplified_abstractclass.
QSR_QTC_Simplified_Abstractclass
[source]¶ Bases:
qsrlib_qsrs.qsr_dyadic_abstractclass.QSR_Dyadic_Abstractclass
QTCS abstract class.
-
make_world_qsr_trace
(world_trace, timestamps, qsr_params, req_params, **kwargs)[source]¶ Compute the world QSR trace from the arguments.
Parameters: - world_trace (
World_Trace
) – Input data. - timestamps (list) – List of sorted timestamps of world_trace.
- qsr_params (dict) – QSR specific parameters passed in dynamic_args.
- req_params (dict) – Request parameters.
- kwargs – kwargs arguments.
Returns: Computed world QSR trace.
Return type: - world_trace (
-
qtc_to_output_format
(qtc)[source]¶ Overwrite this for the different QTC variants to select only the parts from the QTCC tuple that you would like to return. Example for QTCB: return qtc[0:2]
Parameters: qtc – The full QTCC tuple [q1,q2,q4,q5] Returns: The part of the tuple you would to have as a result using create_qtc_string
-
qtc_type
= None¶ ?
-
return_all_possible_state_combinations
()[source]¶ Return all possible state combinations for the qtc_type defined for this class instance.
Returns: All possible state combinations. Return type: - String representation as a list of possible tuples, or,
- Integer representation as a list of lists of possible tuples
-