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
101
102
103
104
|
/*
* 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.assign;
import java.util.LinkedHashMap;
import java.util.Map;
import pddl4j.exp.term.Substitution;
import pddl4j.exp.term.Term;
/**
* This class implements the assign operation "increase" of the pddl language.
*
* @author Damien Pellier
* @version 1.0
*/
public final class Increase extends AssignOpExp {
/**
* The serial version id of the class.
*/
private static final long serialVersionUID = 5208581275117162064L;
/**
* Creates a new "increase" assign operation with two arguments.
*
* @param arg1 the first argument of the "increase" operation.
* @param arg2 the second argument of the "increase" operation.
* @throws NullPointerException if <code>arg1 == null</code> or
* <code>arg2 == null</code>.
*/
public Increase(Term arg1, Term arg2) {
super(AssignOp.INCREASE, arg1, arg2);
}
/**
* Substitutes all occurrences of the variables that occur in this
* expression and that are mapped in the substitution by its binding
* term.
*
* @param sigma the substitution.
* @return a substituted copy of this expression.
* @throws NullPointerException if <code>sigma == null</code>.
*/
public Increase apply(Substitution sigma) {
return (Increase) super.apply(sigma);
}
/**
* Standardizes all occurrences of the variables that occur in this
* expression. Remember that free variables are existentially quantified.
*
* @return a standardized copy of this expression.
*/
public Increase standardize() {
return this.standardize(new LinkedHashMap<String, String>());
}
/**
* Standardizes all occurrences of the variables that occur in this
* expression. The map argument is used to store the variable already
* standardized. Remember that free variables are existentially quantified.
*
* @param images the object that maps old variable images to the standardize
* image.
* @return a standardized copy of this expression.
* @throws NullPointerException if <code>images == null</code>.
*/
public Increase standardize(Map<String, String> images) {
return (Increase) super.standardize(images);
}
/**
* Creates and returns a copy of this expression.
*
* @return a clone of this expression instance.
* @see pddl4j.exp.Exp#clone()
*/
public Increase clone() {
return (Increase) super.clone();
}
}
|