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. |