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

Package eas.startSetup.marbBuilder.graph

Class eas.startSetup.marbBuilder.graph.Knoten

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

eas.startSetup.marbBuilder.graph.Knoten.holeName()
Gibt den Namen des Knotens zurück. @return Der Name des Knotens.

        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

0 1

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.