CODEWITHSUNDEEP
z3
Thanh Hai Tran
Thanh Hai Tran

Reputation: 39

Z3: Fixed-size array of strings

I would like to know how I can use type String and declare an array like 

String status[3] = {"init", "phase1", "phase2"}.

I am trying to write an algorithm which has N processes and each process can be in the initial phase, phase 1 or phase 2.

Upvotes: 1

Views: 183

Answers (1)

Nikolaj Bjorner
Nikolaj Bjorner

Reputation: 8359

Z3 doesn't have string data-types. For the scenario you hint at, it seems unnecessary to have to represent the names of processors by strings. You might get away by simply creating separate variables for each process.

Upvotes: 1

Related Questions