From 10d272818443979dbb15972b397e8ac1bbbd5cd2 Mon Sep 17 00:00:00 2001
From: OszkarSemerath
+ * The following features are supported:
+ *
+ *
+ *
+ * If the meaning of the 'Probe' containment reference isn't clear, + * there really should be more of a description here... + *
+ * + * @return the value of the 'Probe' containment reference. + * @see #setProbe(ReasoningProbe) + * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTWhenCombinator_Probe() + * @model containment="true" + * @generated + */ + ReasoningProbe getProbe(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getProbe Probe}' containment reference. + * + * + * @param value the new value of the 'Probe' containment reference. + * @see #getProbe() + * @generated + */ + void setProbe(ReasoningProbe value); + + /** + * Returns the value of the 'Tactic' containment reference. + * + *+ * If the meaning of the 'Tactic' containment reference isn't clear, + * there really should be more of a description here... + *
+ * + * @return the value of the 'Tactic' containment reference. + * @see #setTactic(SMTReasoningTactic) + * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTWhenCombinator_Tactic() + * @model containment="true" + * @generated + */ + SMTReasoningTactic getTactic(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator#getTactic Tactic}' containment reference. + * + * + * @param value the new value of the 'Tactic' containment reference. + * @see #getTactic() + * @generated + */ + void setTactic(SMTReasoningTactic value); + +} // SMTWhenCombinator -- cgit v1.2.3-70-g09d2