Method | Description | |
---|---|---|
isEXISTS ( String quantifier ) : bool | ||
isFORALL ( String quantifier ) : bool |
public static isEXISTS ( String quantifier ) : bool | ||
quantifier | String | |
return | bool |
public static isFORALL ( String quantifier ) : bool | ||
quantifier | String | |
return | bool |