Package javaff.data.temporal

Examples of javaff.data.temporal.SplitInstantAction

80
81
82
83
84
85
86
87
88
89
90
  public boolean checkAvailability(Action a)
  {
    List rList = new ArrayList(invariants);
    if (a instanceof SplitInstantAction)
    {
      SplitInstantAction da = (SplitInstantAction) a;
      Iterator iit = da.parent.invariant.getConditionalPropositions().iterator();
      while (iit.hasNext())
      {
        rList.remove(iit.next());
      }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
  public State apply(Action a)    // return a cloned copy
  {
    TemporalMetricState s = (TemporalMetricState) super.apply(a);
    if (a instanceof SplitInstantAction)
    {
      SplitInstantAction sia = (SplitInstantAction) a;
      sia.applySplit(s);
    }
    s.checker.addAction((InstantAction)a, s);
    return s;
  }
View Full Code Here
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
  public void addOrder(Action first, Action second, Proposition p)
  {
    if (first instanceof SplitInstantAction)
    {
      SplitInstantAction sa = (SplitInstantAction) first;
      if (!sa.exclusivelyInvariant(p))
      {
        addEqualOrdering(first, second);
        return;
      }
     
    }

    if (second instanceof SplitInstantAction)
    {
      SplitInstantAction sa = (SplitInstantAction) second;
      if (!sa.exclusivelyInvariant(p))
      {
        addEqualOrdering(first, second);
        return;
      }
    }
View Full Code Here
TOP

Related Classes of javaff.data.temporal.SplitInstantAction

  • javaff.data.PartialOrderPlan
  • javaff.planning.TemporalMetricState
    • 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.