首页>
外国专利>
MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
展开▼
机译:基于约束和初始模型的模型生成
展开▼
页面导航
摘要
著录项
相似文献
摘要
A model may comprise finite paths in respect to a constraint. The model and the constraint may be modified such that a portion of the limitations induces by the constraint is injected to the model. Adding the limitation directly to the model may be expressed by a reduction of a measurement of nondeterminism in the model. The model may be modified based on the constraint, and the constraint may be modified based on the model. The constraint may be strengthened to provide for an early finite path detection.
展开▼