Glossary:state: Difference between revisions - ProB Documentation

Help

Glossary:state: Difference between revisions

Created page with 'A state is a mapping from names to values. In classical B a state consists of constants and variables.'
 
(No difference)

Latest revision as of 15:38, 6 December 2011

A state is a mapping from names to values. In classical B a state consists of constants and variables.

Retrieved from "https://prob.hhu.de/w/index.php?title=Glossary:state&oldid=1297"