Francisco Jesús Martínez Mimbrera
19 lines
640 B
XML
19 lines
640 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<?eclipse version="3.4"?>
|
|
<plugin>
|
|
<extension
|
|
point="flintstones.operator.normalization">
|
|
<normalization_operator
|
|
uid="flintstones.operator.normalization.numeric.ideal"
|
|
implementation="flintstones.operator.normalization.numeric.ideal.IdealNormalizationOperator">
|
|
<matching_valuation
|
|
valuationId="flintstones.valuation.integer">
|
|
</matching_valuation>
|
|
<matching_valuation
|
|
valuationId="flintstones.valuation.real">
|
|
</matching_valuation>
|
|
</normalization_operator>
|
|
</extension>
|
|
|
|
</plugin>
|