////////////////////////////////
// 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;
}
