<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- This is file org.lamport.tla.toobox.doc/html/model/evaluate-constant-expression.html  -->


<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
 <LINK href="../style.css" rel="stylesheet" type="text/css">

<title>Evaluate Constant Expression</title>
</head>

<body>
<h1>Evaluate Constant Expression</h1>

<p>
This functionality may exist either constain on the Model Checking Results page of 