Searched defs:RBase (Results 1 – 7 of 7) sorted by relevance
11 class RBase class18 RBase() : initial_permstack(0) in RBase() function in RBase
46 virtual void signal_RBaseFinished(RBase*) in signal_RBaseFinished() argument
109 RBase<BSGSIN,TRANSRET>::RBase(const BSGSIN& bsgs, unsigned int pruningLevelDCM, bool stopAfterFirst… in RBase() function
1732 RBase = accu_rename(set.to_sorted_list(Update), UpdateSubst, C, RBase0). variable
402 } RBase; typedef
5455 FieldData_pa RBase; member