Z3/Z3Clarifications

Z3 Clarifications

• << Z3 Home
• Z3 Language Documentation

List clarifications required on Z3

How do we get a subset of a string value without using loop

Ans:

word = "CORPORATION"; vowels ="AEIOU"; vowelsarray=vowels.split(""); wordletterswithoutvowels=word.split("").filter((x)=>!x.isin(vowelsarray)); OR IsNotAVowel:=!x.isin(vowelsarray); word.split("").filter(IsNotAVowel); OR IsNotAVowel:=!x.isin("AEIOU".split("")); word.split("").filter(IsNotAVowel);

Result => CRPRTN