2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
6 ** metaStateConstraint.h
9 # ifndef METASTATECONSTRAINT_H
10 # define METASTATECONSTRAINT_H
12 struct s_metaStateConstraint {
13 /*@only@*/ metaStateSpecifier lspec;
14 /*@only@*/ metaStateExpression rspec;
17 extern metaStateConstraint
18 metaStateConstraint_create (/*@only@*/ metaStateSpecifier, /*@only@*/ metaStateExpression) ;
20 extern cstring metaStateConstraint_unparse (metaStateConstraint) /*@*/ ;
21 extern /*@only@*/ metaStateConstraint metaStateConstraint_copy (metaStateConstraint) /*@*/ ;
22 extern void metaStateConstraint_free (/*@only@*/ metaStateConstraint) ;
24 extern /*@observer@*/ metaStateSpecifier metaStateConstraint_getSpecifier (metaStateConstraint) /*@*/ ;
25 extern /*@observer@*/ metaStateExpression metaStateConstraint_getExpression (metaStateConstraint) /*@*/ ;
28 # error "Multiple include"