Package javaff.data.metric

Examples of javaff.data.metric.NamedFunction

77
78
79
80
81
82
83
84
85
  private void setupPGFuncMap(Set funcs)
  {
    Iterator fit = funcs.iterator();
    while (fit.hasNext())
    {
      NamedFunction nf = (NamedFunction) fit.next();
      PGFuncMap.put(nf, new PGNamedFunction(nf));
    }
  }
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
    Iterator fit = ms.funcValues.keySet().iterator();
    Map max = new Hashtable();
    Map min = new Hashtable();
    while (fit.hasNext())
    {
      NamedFunction nf = (NamedFunction) fit.next();
      PGFunction pgf = (PGFunction) PGFuncMap.get(nf);
      BigDecimal bd = (BigDecimal) ms.funcValues.get(nf);
      max.put(pgf, bd);
      min.put(pgf, bd);
    }
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
    pstream.println(":init");
    printToString(p.initial, pstream, false, true, 2);
    Iterator it = p.funcValues.keySet().iterator();
    while (it.hasNext())
    {
      NamedFunction nf = (NamedFunction) it.next();
      pstream.println();
      printIndent(pstream, 2);
      pstream.print("(= ");
      printToString(nf, pstream, false, false);
      pstream.print(" "+p.funcValues.get(nf)+")");
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
      Iterator bcit = a.getComparators().iterator();
      while (bcit.hasNext())
      {
        //WARNING WARNING WARNING - assumes comparators are of the form (NamedFunction </>/<=/>= StaticFunction)
                           BinaryComparator bc = (BinaryComparator) bcit.next();
        NamedFunction res = (NamedFunction) bc.first;
        PrecedenceResourceGraph prg = (PrecedenceResourceGraph) graphs.get(res);
        if (prg == null)
        {
          prg = new PrecedenceResourceGraph(stn);
          graphs.put(res,prg);
        }
        state = (TemporalMetricState) states.get(a);
        BigDecimal d = bc.second.getValue(state);
        prg.addCondition(new BinaryComparator( bc.type, res, new NumberFunction(d)), a);
      }

      Iterator roit = a.getOperators().iterator();
      while (roit.hasNext())
      {
        ResourceOperator ro = (ResourceOperator) roit.next();
        NamedFunction res = (NamedFunction) ro.resource;
        PrecedenceResourceGraph prg = (PrecedenceResourceGraph) graphs.get(res);
        if (prg == null)
        {
          prg = new PrecedenceResourceGraph(stn);
          graphs.put(res,prg);
        }
        prg.addOperator(new ResourceOperator( ro.type, res, ro.change.makeOnlyDurationDependent(state)), a);
      }

    }


    Iterator git = graphs.keySet().iterator();

    while (git.hasNext())
    {
      NamedFunction nf = (NamedFunction) git.next();
      PrecedenceResourceGraph prg = (PrecedenceResourceGraph) graphs.get(nf);
      prg.addOperator(new ResourceOperator(MetricSymbolStore.INCREASE, nf, new NumberFunction(nf.getValue(problem.getTemporalMetricInitialState()))), stn.START);
      boolean changesMade = true;
      while (changesMade)
      {
        changesMade = prg.meetConditions();
        stn.constrain();
View Full Code Here
TOP

Related Classes of javaff.data.metric.NamedFunction

  • javaff.data.PDDLPrinter
  • javaff.data.strips.PDDLObject
  • javaff.data.strips.Variable
  • javaff.planning.RelaxedMetricPlanningGraph
  • javaff.scheduling.JavaFFScheduler
  • java.util.Iterator
  • java.math.BigDecimal
    • 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.