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) ;
25 # error "Multiple include"