Files
Francisco Jesús Martínez Mimbrera 759a8968a2 public code v1
2026-05-23 00:32:57 +02:00

17 lines
504 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE xml>
<?eclipse version="3.4"?>
<plugin>
<extension
point="flintstones.valuation">
<valuation
domain="flintstones.domain.numeric.integer.intervalar"
uid="flintstones.valuation.integer.interval"
implementation="flintstones.valuation.numeric.integer.interval.IntegerIntervalValuation"
is_intermediate="false"
name="Integer interval">
</valuation>
</extension>
</plugin>