Class LQNResultEditorInput

  • All Implemented Interfaces:
    IAdaptable, IEditorInput

    public class LQNResultEditorInput
    extends Object
    implements IEditorInput
    Class that is responsible for displaying Markov transformation results as HTML page inside a customized workbench editor of a target instance.
    • Constructor Detail

      • LQNResultEditorInput

        public LQNResultEditorInput​(String htmlCode)
        Creates a new MarkovResultEditor, given a list of Markov transformation results.
        Parameters:
        markovResults - the Markov transformation results
        configuration - the configuration properties for the reliability solver workflow