Examples of fmg.fmg8.endlAutomat.conditions.Condition.simplify()

fmg.fmg8.endlAutomat.conditions.Condition.simplify()

Vereinfacht die Bedingung. Dabei wird folgende Normalform N erzeugt (die die semantische Ausdruckskraft der Bedingung nicht einschr�nkt):

N ::= true | false | C
C ::= H comp B | H comp H | (C op C)
H ::= h1 | h2 | ...
B ::= 1 | 2 | ... | 255
comp ::= < |> | = | ! | [ | ] | ~ | #
op ::= UND | ODER

N.b. Insbesondere kommen true und false nicht in zusammengesetzten Bedingungen vor (auch nicht in Form von Vergleichen zwischen zwei Byte-Werten; zu beachten ist jedoch, dass stets oder niemals wahre Teilbedingungen trotzdem vorkommen k�nnen, bspw. als "h1 <= 255"). @return Die vereinfachte Bedingung.

                        cZwisch[j], 
                        fmg.fmg8.endlAutomat.Konstanten.UND);
            }
        }
        
        c = c.simplify();
        
        // BO
//        System.out.println();
//        System.out.println(
//            aut.holeKnoten(quellKnotNam).getInfo().getBedingungen());

                        getBedingungen().get(i).getCond().formatted());
            zwisch.negiere();
            cond = new InnerNode(cond, zwisch, endlicherAutomat.Konstanten.UND);
        }
        
        cond = cond.simplify();
        
        if (!cond.equals(new ConstLeaf(false))) {
            this.einfuegKante(kn1, kn2, cond, 1);
        }
    }

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.