KSynthesis: ER12-slices.fml

File ER12-slices.fml, 298 bytes (added by acher, 7 years ago)

Refactoring of FMs (slices)

Line 
1fm3 = FM (MI : (CT|MRI) (Nifti|DICOM) ; DICOM -> MRI ; CT <-> Nifti ; )
2fm4 = FM (MI : (Nifti|MRI) (CT|DICOM) ; !DICOM | !Nifti ; DICOM | Nifti ; )
3fm5 = FM (MI : (CT|MRI) (Nifti|DICOM) ; !MRI | !Nifti ; !CT | !DICOM ; DICOM -> MRI ; ) // redundant
4
5cmp34 = compare fm3 fm4
6cmp45 = compare fm4 fm5