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.

create_qtc_string(qtc)[source]
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_QSR_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
exception qsrlib_qsrs.qsr_qtc_simplified_abstractclass.QTCException[source]

Bases: exceptions.Exception

?