Package statechum

Examples of statechum.JUConstants

102
103
104
105
106
107
108
109
110
111
112
    {
      Iterator<DirectedSparseEdge>neighbourIt = v.getOutEdges().iterator();
      while(neighbourIt.hasNext()){
        DirectedSparseEdge next = neighbourIt.next();
        Vertex neighbour = next.getDest();
        JUConstants neighbourColour = (JUConstants)neighbour.getUserDatum(JUConstants.COLOUR);
        if(neighbourColour!=null){
          if(neighbourColour == JUConstants.RED)
            continue;
        }
        neighbour.setUserDatum(JUConstants.COLOUR, JUConstants.BLUE, UserData.SHARED);
View Full Code Here
753
754
755
756
757
758
759
760
761
762
763
                    new ConstantVertexAspectRatioFunction(1.0f));
        }

        @Override
        public Shape getShape(Vertex v) {
            JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);

            if (DeterministicDirectedSparseGraph.isInitial(v)) {
                return factory.getRegularStar(v, 7);
            } else if (!DeterministicDirectedSparseGraph.isAccept(v)) {
                return factory.getRectangle(v);
View Full Code Here
790
791
792
793
794
795
796
797
798
799
800
            Color col = Color.BLACK;

            if (picked.isPicked(v)) {
                col = Color.LIGHT_GRAY;
            } else {
                JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);
                if (c == null) {
                    col = Color.GREEN;
                } else {
                    if (c == JUConstants.RED) {
                        col = Color.PINK;
View Full Code Here
196
197
198
199
200
201
202
203
204
205
206
        throw new IllegalArgumentException(getHardFactsContradictionErrorMessage(ifthenAutomataAsText, sr.getCounters()));
    }

    Stack<PairScore> possibleMerges = topLevelListener.ChooseStatePairs(tentativeAutomaton);
    int iterations = 0, currentNonAmber = ptaHardFacts.getStateNumber()-ptaHardFacts.getAmberStateNumber();
    JUConstants colourToAugmentWith = tentativeAutomaton.config.getUseAmber()? JUConstants.AMBER:null;
    updateGraph(tentativeAutomaton);
    while (!possibleMerges.isEmpty())
    {
      iterations++;
      PairScore pair = possibleMerges.pop();
View Full Code Here
491
492
493
494
495
496
497
498
499
500
501
   * FIXME: there is no support for LTL/IFTHEN/IGNORE in this method.
   * @return true if question answering has been cancelled by a user.
   */
  boolean speculativeGraphUpdate(Stack<PairScore> possibleMerges, LearnerGraph ptaHardFacts)
  {
    JUConstants colourToAugmentWith = tentativeAutomaton.config.getUseAmber()? JUConstants.AMBER:null;

    while(!possibleMerges.isEmpty())
    {
      PairScore pair = possibleMerges.pop();
      int score = pair.getScore();
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
    {
      Iterator<DirectedSparseEdge>neighbourIt = v.getOutEdges().iterator();
      while(neighbourIt.hasNext()){
        DirectedSparseEdge next = neighbourIt.next();
        Vertex neighbour = next.getDest();
        JUConstants neighbourColour = (JUConstants)neighbour.getUserDatum(JUConstants.COLOUR);
        if(neighbourColour!=null){
          if(neighbourColour == JUConstants.RED)
            continue;
        }
        neighbour.setUserDatum(JUConstants.COLOUR, JUConstants.BLUE, UserData.SHARED);
View Full Code Here
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
            layoutOptions = options;
        }

        @Override
        public Shape getShape(Vertex v) {
            JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);
            setScale();
            if (DeterministicDirectedSparseGraph.isInitial(v)) {
                return factory.getRegularStar(v, 7);
            } else if (!DeterministicDirectedSparseGraph.isAccept(v)) {
                return factory.getRectangle(v);
View Full Code Here
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
            Color col = Color.BLACK;

            if (picked.isPicked(v)) {
                col = Color.LIGHT_GRAY;
            } else {
                JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);
                if (c == null) {
                    col = Color.GREEN;
                } else {
                    if (c == JUConstants.RED) {
                        col = Color.PINK;
View Full Code Here
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
            layoutOptions = options;
        }

        @Override
        public Shape getShape(Vertex v) {
            JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);
            setScale();
            if (DeterministicDirectedSparseGraph.isInitial(v)) {
                return factory.getRegularStar(v, 7);
            } else if (!DeterministicDirectedSparseGraph.isAccept(v)) {
                return factory.getRectangle(v);
View Full Code Here
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
            Color col = Color.BLACK;

            if (picked.isPicked(v)) {
                col = Color.LIGHT_GRAY;
            } else {
                JUConstants c = (JUConstants) v.getUserDatum(JUConstants.COLOUR);
                if (c == null) {
                    col = Color.GREEN;
                } else {
                    if (c == JUConstants.RED) {
                        col = Color.PINK;
View Full Code Here
TOP

Related Classes of statechum.JUConstants

  • statechum.analysis.learning.RPNIBlueFringeLearnerOrig
  • statechum.analysis.learning.rpnicore.AMEquivalenceClass
  • statechum.analysis.learning.RPNIUniversalLearner
  • statechum.analysis.learning.Test_Orig_RPNIBlueFringeLearner
  • statechum.analysis.learning.Visualiser$VertexPaint
  • statechum.analysis.learning.Visualiser$VertexShape
    • Copyright © 2018 www.massapicom. 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.