Searched refs:_inductionSkolem (Results 1 – 2 of 2) sorted by relevance
105 unsigned _inductionSkolem : 1; member in Kernel::Signature::Symbol185 inline void markInductionSkolem(){ _inductionSkolem=1; _skolem=1;} in markInductionSkolem()186 inline bool inductionSkolem(){ return _inductionSkolem;} in inductionSkolem()
63 _inductionSkolem(0), in Symbol()