Метод | Описание | |
---|---|---|
isEXISTS ( String quantifier ) : bool | ||
isFORALL ( String quantifier ) : bool |
public static isEXISTS ( String quantifier ) : bool | ||
quantifier | String | |
Результат | bool |
public static isFORALL ( String quantifier ) : bool | ||
quantifier | String | |
Результат | bool |