Class ProductLatticeOntologySolverDisplayActions.ProductLatticeHighlighterController

    • Constructor Detail

      • ProductLatticeHighlighterController

        public ProductLatticeHighlighterController​(ProductLatticeOntologySolverDisplayActions displayActions,
                                                   GraphController controller)
        Create a HighlighterController that is associated with a controller.
        Parameters:
        displayActions - The ProductLatticeOntologySolverDisplayActions object reference.
        controller - The controller.
    • Method Detail

      • setHighlightColorsMenu

        public void setHighlightColorsMenu​(ProductLatticeOntology solverOntology)
                                    throws IllegalActionException
        Set the highlight colors menu for the ProductLatticeOntologySolver based on its ProductLatticeOntology.
        Parameters:
        solverOntology - The ProductLatticeOntology for the solver.
        Throws:
        IllegalActionException - Thrown if there is a problem creating the new highlight colors menu.