summaryrefslogtreecommitdiff
path: root/SA_POP/utils/PDDLtoSANetTranslator/PDDLParser/src/pddl4j/exp/fexp/NArityMultiply.java
blob: d495e6f0383be7a8c8cdb93480ec0a2d34a8c185 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
/*
 * Copyright Dept. of Mathematics & Computer Science Univ. Paris-Descartes
 *
 * This software is governed by the CeCILL  license under French law and
 * abiding by the rules of distribution of free software.  You can  use,
 * modify and/ or redistribute the software under the terms of the CeCILL
 * license as circulated by CEA, CNRS and INRIA at the following URL
 * "http://www.cecill.info".
 *
 * As a counterpart to the access to the source code and  rights to copy,
 * modify and redistribute granted by the license, users are provided only
 * with a limited warranty  and the software's author,  the holder of the
 * economic rights,  and the successive licensors  have only  limited
 * liability.
 *
 * In this respect, the user's attention is drawn to the risks associated
 * with loading,  using,  modifying and/or developing or reproducing the
 * software by the user in light of its specific status of free software,
 * that may mean  that it is complicated to manipulate,  and  that  also
 * therefore means  that it is reserved for developers  and  experienced
 * professionals having in-depth computer knowledge. Users are therefore
 * encouraged to load and test the software's suitability as regards their
 * requirements in conditions enabling the security of their systems and/or
 * data to be ensured and,  more generally, to use and operate it in the
 * same conditions as regards security.
 *
 * The fact that you are presently reading this means that you have had
 * knowledge of the CeCILL license and that you accept its terms.
 */

package pddl4j.exp.fexp;

import pddl4j.EvaluationException;
import pddl4j.exp.term.Term;
import pddl4j.exp.term.TermID;

/**
 * This class implements the n-arity arithmetic function multiply.
 * 
 * @author Damien Pellier
 * @version 1.0
 */
public final class NArityMultiply extends NArityOp {

    /**
     * The serial version id of the class.
     */
     private static final long serialVersionUID = 2899553544531715200L;

    /**
     * Creates a new divide numeric function without arguments.
     */
    public NArityMultiply() {
        super(Op.MULTIPLY);
    }
    
    /**
     * Return a deep copy of this function.
     * 
     * @return a deep copy of this function.
     * @see pddl4j.exp.term.Term#clone()
     */
    public NArityMultiply clone() {
        return (NArityMultiply) super.clone();        
    }
    
    /**
     * Evaluates this multiply arithmetic expression.
     * 
     * @return the result of the evaluation.
     * @throws EvaluationException if the function is not evaluable or if an
     *             arithmetic error occurs during the evaluation.
     * @see pddl4j.exp.fexp.OpExp#isEvaluable()
     */
    public Number evaluate() throws EvaluationException {
        if (!this.isGround())
            throw new EvaluationException("arithmetic function "
                        + this.toString() + " not ground");
        try {
            double result = 1;
            for (Term arg : this) {
                if (arg.getTermID().equals(TermID.ARITHMETIC_FUNCTION)) {
                    OpExp func = (OpExp) arg;
                    result *= func.evaluate().getValue();
                } else if (arg.getTermID().equals(TermID.NUMBER)) {
                    result *= ((Number) arg).getValue();
                } else {
                    throw new EvaluationException("arithmetic function "
                                + this.toString() + ": argument " + arg
                                + " is not evaluable");
                }
            }
            return new Number(result);
        } catch (ArithmeticException e) {
            throw new EvaluationException("arithmetic function "
                                + this.toString() + ": " + e.getMessage(), e);
        }
    }

}