Ast
Enable or disable Garbage Collection of unused KSMT expressions.
NO_GC --- all managed KSMT expressions will be kept in memory as long as their KContext is reachable. GC --- allow managed KSMT expressions to be garbage collected when they become unreachable. Enabling this option will result in a performance degradation of about 10%.
Note: using GC only makes sense when working with a long-lived KContext.
Entries
Functions
Link copied to clipboard
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
Link copied to clipboard
Returns an array containing the constants of this enum type, in the order they're declared.