diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend index aa59836c..905859eb 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicModelInterpretation.xtend | |||
@@ -27,6 +27,7 @@ interface LogicModelInterpretation{ | |||
27 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> | 27 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> |
28 | * <tr><td>Integer literal </td><td>Integer </td></tr> | 28 | * <tr><td>Integer literal </td><td>Integer </td></tr> |
29 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> | 29 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> |
30 | * <tr><td>String literal </td><td>String </td></tr> | ||
30 | * </table></p> | 31 | * </table></p> |
31 | * @param function The target function to be interpreted. | 32 | * @param function The target function to be interpreted. |
32 | * @param parameterSubstitution The array of the substituted parameters encoded as defined in the table. | 33 | * @param parameterSubstitution The array of the substituted parameters encoded as defined in the table. |
@@ -41,6 +42,7 @@ interface LogicModelInterpretation{ | |||
41 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> | 42 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> |
42 | * <tr><td>Integer literal </td><td>Integer </td></tr> | 43 | * <tr><td>Integer literal </td><td>Integer </td></tr> |
43 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> | 44 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> |
45 | * <tr><td>String literal </td><td>String </td></tr> | ||
44 | * </table></p> | 46 | * </table></p> |
45 | * @param relation The target relation to be interpreted. | 47 | * @param relation The target relation to be interpreted. |
46 | * @param parameterSubstitution The array of the substituted parameters encoded as defined in the table. | 48 | * @param parameterSubstitution The array of the substituted parameters encoded as defined in the table. |
@@ -55,6 +57,7 @@ interface LogicModelInterpretation{ | |||
55 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> | 57 | * <tr><td>Boolean literal </td><td>Boolean </td></tr> |
56 | * <tr><td>Integer literal </td><td>Integer </td></tr> | 58 | * <tr><td>Integer literal </td><td>Integer </td></tr> |
57 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> | 59 | * <tr><td>Real literal </td><td>BigDecimal </td></tr> |
60 | * <tr><td>String literal </td><td>String </td></tr> | ||
58 | * </table></p> | 61 | * </table></p> |
59 | * @param constant The target constant to be interpreted. | 62 | * @param constant The target constant to be interpreted. |
60 | * @return The value of the constant encoded as specified in the table. | 63 | * @return The value of the constant encoded as specified in the table. |