//////////////////////////////// // access checking Term* values // int EngineObj::is_eng(Term t) { return t.type(f_SYSDATA) && SysDataPtr(t)->istype(rti.id); }
inline int SysData::unify(Term t) const { return SysDataPtr(t)->gettype() == m_key.id; }