String function ( ) { return symbolName ; }
gets the name of this symbolic instance . concode_field_sep SymbolicInstance<?> ZEROPOS_DOMAIN concode_elem_sep SymbolicInstance<?> ZERO concode_elem_sep SymbolicInstance<?> NEG_DOMAIN concode_elem_sep Map<CtVariableReference<?>,String> fields concode_elem_sep SymbolicInstance<?> NULL concode_elem_sep String symbolName concode_elem_sep SymbolicInstance<?> POS_DOMAIN concode_elem_sep SymbolicInstance<?> ZERONEG_DOMAIN concode_elem_sep SymbolicInstance<Boolean> FALSE concode_elem_sep String literal concode_elem_sep boolean isExternal concode_elem_sep CtTypeReference<T> concreteType concode_elem_sep SymbolicInstance<Boolean> TRUE concode_elem_sep long id concode_field_sep boolean isExternal concode_elem_sep SymbolicInstance<T> getClone concode_elem_sep String getSymbolId concode_elem_sep void setFieldValue concode_elem_sep String getId concode_elem_sep CtTypeReference<T> getConcreteType concode_elem_sep Map<CtVariableReference<?>,String> getFields concode_elem_sep void resetIds concode_elem_sep String getFieldValue concode_elem_sep String getFieldValue concode_elem_sep long getNextId concode_elem_sep boolean equals concode_elem_sep String toString concode_elem_sep boolean equalsRef concode_elem_sep boolean isStateful