#include "parSchema.h"
#include "schema.h"
#include <assert.h>
#include <iostream>
Go to the source code of this file.
Functions | |
schema * | makeParSchema (schema *s1, schema *s2) |
Definition at line 28 of file parSchema.cpp.
References makeEnlargedSchema(), and schema::width().
Referenced by generateAbstractionSchema(), generateInsideSchema(), and makeSeqSchema().
00029 { 00030 // make sure s1 and s2 have same width 00031 return new parSchema( makeEnlargedSchema(s1, s2->width()), 00032 makeEnlargedSchema(s2, s1->width()) ); 00033 }