购买与咨询 NX 二次开发视频教程，请联系微信号：13890821008  QQ号：85585969  

函数说明：
这个函数确定一个给定的约束是否被推断或没有。

函数参数：
第1个参数为输入：
con_tag代表参数变量，tag_t 为输入参数类型，约束对象标记。

第2个参数为输出：
inferred_con_fl代表参数变量，logical * 为输出参数类型，一个标志，确定一个给定的骗子是否被推断或没有。