Package easysm.datatypes

Examples of easysm.datatypes.Value

69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
    List<Row> rows = main.stateTable().rows();
    assertTrue(rows.size() == 2);

    List<Value> values = new LinkedList<Value>();
    values.add(new Value(Constants.TRUE_REPR));
    Row rowTrue = new Row(values, Constants.IMPOSSIBLE_NAME);
    assertTrue(rows.get(0).equals(rowTrue));

    values.clear();
    values.add(new Value(Constants.FALSE_REPR));
    Row rowFalse = new Row(values, Constants.IMPOSSIBLE_NAME);
    assertTrue(rows.get(1).equals(rowFalse));

  }
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
    List<Row> rows = main.stateTable().rows();
    assertTrue(rows.size() == 2);

    List<Value> values = new LinkedList<Value>();
    values.add(new Value(Constants.TRUE_REPR));
    Row rowTrue = new Row(values, Constants.IMPOSSIBLE_NAME);
    assertTrue(rows.get(0).equals(rowTrue));

    values.clear();
    values.add(new Value(Constants.FALSE_REPR));
    Row rowFalse = new Row(values, Constants.IMPOSSIBLE_NAME);
    assertTrue(rows.get(1).equals(rowFalse));

  }
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
    List<StateObserver> usedSet = main.stateObservers().soList();
    main.doSelectUsedSO(usedSet);
    main.doGenerateStateTable();

    Value True = new Value(Constants.TRUE_REPR);
    Value False = new Value(Constants.FALSE_REPR);
    List<Value> values = new LinkedList<Value>();

    values.add(True);
    values.add(True);
    values.add(True);
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
202
203
204
    main.doGenerateStateTable();

    List<Row> rows = main.stateTable().rows();
    assertTrue(rows.size() == 4);

    Value True = new Value(Constants.TRUE_REPR);
    Value False = new Value(Constants.FALSE_REPR);
    Value pino = new Value(stPino.toString());
    Value gino = new Value(stGino.toString());

    List<Value> values = new LinkedList<Value>();
    values.add(True);
    values.add(pino);
    Row rowTT = new Row(values, Constants.IMPOSSIBLE_NAME);
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
        finalSOIndex = i;
        break;
      }
    }
    if (finalSOIndex != -1 && finalSOIndex != usedSO.size()) {
      Value trueValue = new Value(Constants.TRUE_REPR);
      if (row.values().get(finalSOIndex).equals(trueValue)) {
        row.changeState(new State(name, true));
        return;
      }
    }
View Full Code Here
110
111
112
113
114
115
116
117
118
  public static Type enumAsType(Enumeration en)
  {
    TypeInfo typeInfo = new TypeInfo(en.name());
    Set<Value> values = SetFactory.createSet(Value.class);
    for (Literal lit : en.literals()) {
      values.add(new Value(lit.toString()));
    }
    return new Type(typeInfo, true, values);
  }
View Full Code Here
124
125
126
127
128
129
130
131
132
    // Finite
    isFinite = true;
    // Values
    Set<Value> newValues = SetFactory.createSet(Value.class);
    for (Literal lit : en.literals()) {
      newValues.add(new Value(lit.toString()));
    }
    values = newValues;
  }
View Full Code Here
61
62
63
64
65
66
67
68
69
70
71
    for (int j = 0; j < columnCount; ++j) {
      rowSubsets *= allValues[j].length;
      int subsetSize = rowCount / rowSubsets;

      for (int i = 0; i < rowSubsets; ++i) {
        Value currValue = allValues[j][i % allValues[j].length];
        for (int k = 0; k < subsetSize; ++k) {
          rows.get(i * subsetSize + k).add(currValue);
        }
      }
    }
View Full Code Here
TOP

Related Classes of easysm.datatypes.Value

  • easysm.calculators.Generator
  • easysm.stores.StateTable
  • easysm.stores.Type
  • StateTableTests
    • 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.