aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 20:39:40 +0200
committerLibravatar OszkarSemerath <oszka@152.66.252.189>2017-06-10 20:39:40 +0200
commit10d272818443979dbb15972b397e8ac1bbbd5cd2 (patch)
tree0e6bafd1a1dabad2affefdaed295f780fcc6f65b /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java
parentMigrating Additional projects (diff)
downloadVIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.gz
VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.tar.zst
VIATRA-Generator-10d272818443979dbb15972b397e8ac1bbbd5cd2.zip
Added generated Xtext artefacts
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java68
1 files changed, 68 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java
new file mode 100644
index 00000000..e2c08318
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java
@@ -0,0 +1,68 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage;
4
5import org.eclipse.emf.common.util.EList;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>SMT Symbolic Value</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 * <p>
13 * The following features are supported:
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference <em>Symbolic Reference</em>}</li>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions <em>Parameter Substitutions</em>}</li>
17 * </ul>
18 * </p>
19 *
20 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue()
21 * @model
22 * @generated
23 */
24public interface SMTSymbolicValue extends SMTTerm
25{
26 /**
27 * Returns the value of the '<em><b>Symbolic Reference</b></em>' reference.
28 * <!-- begin-user-doc -->
29 * <p>
30 * If the meaning of the '<em>Symbolic Reference</em>' reference isn't clear,
31 * there really should be more of a description here...
32 * </p>
33 * <!-- end-user-doc -->
34 * @return the value of the '<em>Symbolic Reference</em>' reference.
35 * @see #setSymbolicReference(SMTSymbolicDeclaration)
36 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue_SymbolicReference()
37 * @model
38 * @generated
39 */
40 SMTSymbolicDeclaration getSymbolicReference();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference <em>Symbolic Reference</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Symbolic Reference</em>' reference.
47 * @see #getSymbolicReference()
48 * @generated
49 */
50 void setSymbolicReference(SMTSymbolicDeclaration value);
51
52 /**
53 * Returns the value of the '<em><b>Parameter Substitutions</b></em>' containment reference list.
54 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm}.
55 * <!-- begin-user-doc -->
56 * <p>
57 * If the meaning of the '<em>Parameter Substitutions</em>' containment reference list isn't clear,
58 * there really should be more of a description here...
59 * </p>
60 * <!-- end-user-doc -->
61 * @return the value of the '<em>Parameter Substitutions</em>' containment reference list.
62 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue_ParameterSubstitutions()
63 * @model containment="true"
64 * @generated
65 */
66 EList<SMTTerm> getParameterSubstitutions();
67
68} // SMTSymbolicValue