From 10d272818443979dbb15972b397e8ac1bbbd5cd2 Mon Sep 17 00:00:00 2001
From: OszkarSemerath
Date: Sat, 10 Jun 2017 20:39:40 +0200
Subject: Added generated Xtext artefacts
---
.../dslreasoner/smtLanguage/SMTSymbolicValue.java | 68 ++++++++++++++++++++++
1 file changed, 68 insertions(+)
create mode 100644 Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java
(limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTSymbolicValue.java')
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 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ *
+ * A representation of the model object 'SMT Symbolic Value'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference Symbolic Reference}
+ * - {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getParameterSubstitutions Parameter Substitutions}
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue()
+ * @model
+ * @generated
+ */
+public interface SMTSymbolicValue extends SMTTerm
+{
+ /**
+ * Returns the value of the 'Symbolic Reference' reference.
+ *
+ *
+ * If the meaning of the 'Symbolic Reference' reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Symbolic Reference' reference.
+ * @see #setSymbolicReference(SMTSymbolicDeclaration)
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue_SymbolicReference()
+ * @model
+ * @generated
+ */
+ SMTSymbolicDeclaration getSymbolicReference();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue#getSymbolicReference Symbolic Reference}' reference.
+ *
+ *
+ * @param value the new value of the 'Symbolic Reference' reference.
+ * @see #getSymbolicReference()
+ * @generated
+ */
+ void setSymbolicReference(SMTSymbolicDeclaration value);
+
+ /**
+ * Returns the value of the 'Parameter Substitutions' containment reference list.
+ * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm}.
+ *
+ *
+ * If the meaning of the 'Parameter Substitutions' containment reference list isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Parameter Substitutions' containment reference list.
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTSymbolicValue_ParameterSubstitutions()
+ * @model containment="true"
+ * @generated
+ */
+ EList getParameterSubstitutions();
+
+} // SMTSymbolicValue
--
cgit v1.2.3-54-g00ecf