Manuals/calci/ASSIGN

ASSIGN (String,Value)

• $String$ is the string to assign.
• $Value$ is the value assigned to the string.

Description

• This function assigning a value to the string.
• That is Assign a value to a name in an environment.

Examples

1. ASSIGN("Sun",1) = 1
2. ASSIGN("eyes",2) =2
3. ASSIGN("stars",20000) =20000

See Also

• ADDRESS

References

• ASSIGN

• List of Main Z Functions

• Z3 home