charListHeader -- Documentation

int clIndexOfChar (Seq , int , int ); defined in: charListHeader.key Line: 6 Offset :4

int clIndexOfCl (Seq , int , Seq ); defined in: charListHeader.key Line: 8 Offset :4

int clLastIndexOfChar (Seq , int , int ); defined in: charListHeader.key Line: 9 Offset :4

int clLastIndexOfCl (Seq , int , Seq ); defined in: charListHeader.key Line: 10 Offset :4

Seq clReplace (Seq , int , int ); defined in: charListHeader.key Line: 12 Offset :4

Seq clTranslateInt (int ); defined in: charListHeader.key Line: 13 Offset :4

Seq clRemoveZeros (Seq ); defined in: charListHeader.key Line: 14 Offset :4

int clHashCode (Seq ); defined in: charListHeader.key Line: 15 Offset :4

clStartsWith (Seq , Seq ); defined in: charListHeader.key Line: 19 Offset :4

clEndsWith (Seq , Seq ); defined in: charListHeader.key Line: 20 Offset :4

clContains (Seq , Seq ); defined in: charListHeader.key Line: 21 Offset :4

KeY Logic Documentation