Interface SSAInference.OperatorFactory<T extends IVariable>

    • Method Detail

      • get

        AbstractOperator<T> get​(SSAInstruction instruction)
        Get the dataflow operator induced by an instruction in SSA form.
        Parameters:
        instruction -
        Returns:
        dataflow operator for the instruction, or null if the instruction is not applicable to the dataflow system.