Constant Field Values

Contents

• wyal.io.*

wyal.io.*

wyal.io.WyalFileLexer

Modifier and Type	Constant Field	Value
public static final char	UC_ELEMENTOF	8712
public static final char	UC_EMPTYSET	8709
public static final char	UC_EXISTS	8707
public static final char	UC_FORALL	8704
public static final char	UC_GREATEREQUALS	8805
public static final char	UC_LESSEQUALS	8804
public static final char	UC_LOGICALAND	8743
public static final char	UC_LOGICALOR	8744
public static final char	UC_SETINTERSECTION	8745
public static final char	UC_SETUNION	8746
public static final char	UC_SUBSET	8834
public static final char	UC_SUBSETEQ	8838
public static final char	UC_SUPSET	8835
public static final char	UC_SUPSETEQ	8839