Class SearchIndexTransfer

All Implemented Interfaces:
ForwardTransferFunction<CFValue,CFStore>, TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

public class SearchIndexTransfer extends IndexAbstractTransfer
The transfer function for the SearchIndexFor checker. Allows SearchIndexFor to be refined to NegativeIndexFor.

Contains 1 refinement rule: SearchIndexFor → NegativeIndexFor when compared against zero.