Examples of FancyScriptConverterJButton

eas.math.fundamentalAlgorithms.graphBased.script.FancyScriptConverterJButton
@author Lukas König

Examples of eas.math.fundamentalAlgorithms.graphBased.script.FancyScriptConverterJButton


    @Override
    public JComponent getAdditionalInfo() {
        JPanel panel = new JPanel(new GridLayout(3, 1));


        FancyScriptConverterJButton butt2 = new FancyScriptConverterJButton(
                "Show LaTeX state definition", 
                () -> "latex: " + StaticMethodsKA.getTransitionsLatex(this.getAllTransitions(), this.kellerZeichen, this.lambda) + "\n" + LaTeX.FORMULA_MODE_OPTIONS, 
                null, 
                null, 
                this.father);

View Full Code Here

Examples of eas.math.fundamentalAlgorithms.graphBased.script.FancyScriptConverterJButton

    @Override
    public JComponent getAdditionalInfo() {
        JPanel panel = new JPanel(new GridLayout(3, 1));
        FancyJButton butt1 = new FancyJButton("Deterministic Turing Machine");


        FancyScriptConverterJButton butt2 = new FancyScriptConverterJButton(
                "Show LaTeX state table", 
                () -> "latex: " + LaTeX.PREAMBLE_CROP_PAGE + this.getLatexTable() + LaTeX.POSTAMBLE_STANDARD, 
                null, 
                null, 
                super.getFather());

View Full Code Here

Examples of eas.math.fundamentalAlgorithms.graphBased.script.FancyScriptConverterJButton

    @Override
    public JComponent getAdditionalInfo() {
        JPanel panel = new JPanel(new GridLayout(3, 1));
        FancyJButton butt1 = new FancyJButton(
                this.isDeterministic() ? (this.isMinimal() ? "Deterministic minimal FSM" : "Deterministic FSM") : "Nondeterministic FSM");
        FancyScriptConverterJButton butt2 = new FancyScriptConverterJButton(
                "Create equivalent grammar", 
                () -> generateType3Grammar().generateCode(), 
                null, 
                null, 
                this.father);
        
        panel.add(butt1);
        panel.add(butt2);
        
        if (!this.isDeterministic()) {
            FancyScriptConverterJButton butt3 = new FancyScriptConverterJButton(
                    "Make deterministic", 
                    () -> {
                        FSM detFSM = new FSM(this);
                        detFSM.makeDeterministic();
                        return detFSM.createFSMScriptString();}, 
                    null, 
                    null, 
                    this.father);
            panel.add(butt3);
        } else if (!this.isMinimal()) {
            FancyScriptConverterJButton butt3 = new FancyScriptConverterJButton(
                    "Minimize", 
                    () -> {
                        FSM minFSM = new FSM(this);
                        minFSM.minimize();
                        return minFSM.createFSMScriptString();}, 
                    null, 
                    null, 
                    this.father);
            panel.add(butt3);
        }


        FancyScriptConverterJButton butt4 = new FancyScriptConverterJButton(
                "Create equivalent PDA", 
                () -> generatePDA().generateCode(), 
                null, 
                null, 
                this.father);
        panel.add(butt4);


        FancyScriptConverterJButton butt5 = new FancyScriptConverterJButton(
                "Create equivalent TM",
                () -> generateTuring().generateCode(),
                null,
                null,
                this.father);

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.