Package eas.startSetup.marbBuilder.graph

Examples of eas.startSetup.marbBuilder.graph.Knoten.holeName()


        EndlicherAutomat ea = new EndlicherAutomat();
        ea.generateFromSequence(seq, getTranslatoren()[this.getAktAutNum()], false, this.getPars());
        double prob =  this.getPars().getParValueDouble("reachProb");
        for (Integer nodeId: ea.getAdjazenzliste().keySet()) {
            Knoten node = ea.getAdjazenzliste().get(nodeId);
            if (ea.erreichbarVonStart(node.holeName(), prob)) {
                if (!node.getInfo().istStartZ()) {
                    node.getInfo().setAlter(node.getInfo().getAlter() + 1);
                }
                for (Transition t: node.getInfo().getBeds()) {
                    if (StaticMethods.condStrength(
View Full Code Here


        // Neue Kanten INTER Automaten zuordnen.
        for (int i = 0; i < endAs.length; i++) {
            zielKn = endAs[i].holeStartzustand();
           
            if (zielKn != null) {
                zielKnNum = (Integer) knotZuord[i].get(zielKn.holeName());
                neuBed = StaticMethods.ausFormatBed(conds[i].formatted());
                for (int j = 0; j < i; j++) {
                    zwischBed = StaticMethods.ausFormatBed(conds[j].formatted());
                    zwischBed.negiere();
                    neuBed = new InnerNode(neuBed,
View Full Code Here

        // true - Kanten zu den einzelnen Startknoten einfügen.
        for (int i = 0; i < endAs.length; i++) {
            zielKn = endAs[i].holeStartzustand();
           
            if (zielKn != null) {
                zielKnNum = (Integer) knotZuord[i].get(zielKn.holeName());
               
                knot = new ArrayList<Integer>(endAs[i].holAdj().keySet());
                it = knot.iterator();
               
                while (it.hasNext()) {
View Full Code Here

        if (this.holAdj().containsKey(knotenName)) {
            it = knotenlisteV.iterator();
            while (it.hasNext()) {
                knoten = this.holeKnoten(it.next());
                this.entferneKante(knoten.holeName(), knotenName);
                knoten.entferneNachfolger(this.holeKnoten(knotenName));
                knoten.entferneVorgaenger(this.holeKnoten(knotenName));
            }
            it = knotenlisteN.iterator();
            while (it.hasNext()) {
View Full Code Here

        it1 = alleKnot.iterator();
        while (it1.hasNext()) {
            aktKnot = it1.next();
            aktZusatz = aktKnot.getInfo();

            aktName = aktKnot.holeName();
            aktBefehl = new Integer(aktZusatz.getAktion());
            aktParam = new Integer(aktZusatz.getParam());
            aktAlter = new Integer(aktZusatz.getAlter());

            seq.add(aktName);
View Full Code Here

        if (this.startKnName != null) {
            this.holeKnoten(this.startKnName).getInfo().setStartZu(false);
        }

        knot.getInfo().setStartZu(true);
        this.startKnName = knot.holeName();
       
        this.sequenz = null;
    }
   
    /**
 
View Full Code Here

        while (it.hasNext()) {
            Knoten aktNachf = it.next();
           
            LinkedList<Transition> transs
                = k.getInfo().getTransZuZustand(
                        aktNachf.holeName().intValue());
            Iterator<Transition> it2 = transs.iterator();
           
            while (it2.hasNext()) {
                Transition trans = it2.next();
               
View Full Code Here

           
            if (aktZust == null) {
                return null;
            }
           
            this.aktZustand = aktZust.holeName();
        }
       
        info = aktZust.getInfo();
        aktion = info.getAktion();
       
View Full Code Here

            // Kanten.
            int i = 0;
            for (Transition t : k1.getInfo().getBedingungen()) {
                i++;
                Knoten k2 = aut.holeKnoten(t.getFolgezustand());
                gv.addln("\"node" + k1.holeName() + "\" -> \"node" + k2.holeName() + "\" [label=\"(" + i + ") " + t.getCond() + "\"];");
            }
        }
       
        gv.addln(gv.endGraph());
        return gv;
View Full Code Here

                                knot1.holeNachfolger().keySet())).iterator();
                while (it2.hasNext()) {
                    boolean gebogen = true;
                   
                    knot2 = g.holeKnoten(it2.next());
                    koord2 = this.gesetzteKn.get(knot2.holeName());
                    Condition cond
                        = knot1.getInfo().getTransZuZustand(
                                knot2.holeName()).get(0).getCond();
                    double staerke = StaticMethods.condStrength(cond,
                                                   ConstantsDarstellung.STAERKE_ERST,
View Full Code Here

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.