Searched refs:GTrace (Results 1 – 8 of 8) sorted by relevance
/dports/cad/tkgate/tkgate-2.1/src/tkgate/ |
H A D | scope.h | 72 } GTrace; typedef 89 GTrace *Traces[MAXACTIVE]; /* Active traces */ 113 GTrace *new_GTrace(const char *name,const char *printName,int nbits, simtime_t curTime); 114 void delete_GTrace(GTrace*); 115 void trace_observe(GTrace *T,simtime_t time,int vcode,const char *hexValue); 127 GTrace *GScope_findTrace(GScope *S,const char *Name); 141 GTrace *GScope_hitTrace(GScope *S,int y); /* Look for trace at specified y coordinate */ 142 void GScope_moveTrace(GScope *S,GTrace *t,int y); /* Move trace so that y is in trace */ 143 void GScope_setTraceHighlight(GScope *S,GTrace *t); 152 void GScope_postFullName(GTrace *t);
|
H A D | scope.c | 467 GTrace *T = S->Traces[i]; in GScope_updateTransition() 487 GTrace *T = S->Traces[i]; in GScope_hitTrace() 1265 GTrace *T = S->Traces[i]; in delete_GScope() 1276 GTrace *T = S->Traces[i]; in GScope_deleteTrace() 1302 GTrace *T; in GScope_addTrace() 1315 GTrace *sT = S->Traces[i]; in GScope_addTrace() 1335 GTrace *T; in new_GTrace() 1337 T = (GTrace*) ob_malloc(sizeof(GTrace),"GTrace"); in new_GTrace() 1350 void delete_GTrace(GTrace *T) in delete_GTrace() 1371 GTrace *T = S->Traces[i]; in GScope_findTrace() [all …]
|
H A D | scopewin.c | 33 static GTrace *scope_traceSelect = 0; /* The selected trace for moving traces up/down */ 260 GTrace *t = GScope_hitTrace(Scope,y); in ScopeWin_moveTrace()
|
H A D | traceprint.c | 314 static void GPrint_outputTrace(GPrint *P,GTrace *T,int y,int pg_tstart) in GPrint_outputTrace() 445 GTrace *T = Scope->Traces[t]; /* Trace to display */ in GPrint_printTracePage()
|
/dports/math/gap/gap-4.11.0/pkg/gbnp/test/ |
H A D | test26.g | 139 GTrace := SGrobnerTrace(KNP);; 147 PrintNPListTrace(GTrace); 164 p := StrongNormalFormTraceDiff(CleanNP(GP2NP(milk-cola)),GTrace);; 255 retroTrace := StrongNormalFormTraceDiff(CleanNP(GP2NP(retro)),GTrace);;
|
H A D | test26.test | 147 gap> GTrace := SGrobnerTrace(KNP);; 155 gap> PrintNPListTrace(GTrace); 178 gap> p := StrongNormalFormTraceDiff(CleanNP(GP2NP(milk-cola)),GTrace);; 463 gap> retroTrace := StrongNormalFormTraceDiff(CleanNP(GP2NP(retro)),GTrace);;
|
/dports/math/gap/gap-4.11.0/pkg/gbnp/doc/examples/ |
H A D | example26.g | 139 GTrace := SGrobnerTrace(KNP);; 147 PrintNPListTrace(GTrace); 164 p := StrongNormalFormTraceDiff(CleanNP(GP2NP(milk-cola)),GTrace);; 255 retroTrace := StrongNormalFormTraceDiff(CleanNP(GP2NP(retro)),GTrace);;
|
/dports/math/gap/gap-4.11.0/pkg/gbnp/doc/ |
H A D | gbnp_doc.tex | 5944 gap> GTrace := SGrobnerTrace(KNP);; 5948 gap> PrintNPListTrace(GTrace); 5959 gap> p := StrongNormalFormTraceDiff(CleanNP(GP2NP(milk-cola)),GTrace);; 6216 gap> retroTrace := StrongNormalFormTraceDiff(CleanNP(GP2NP(retro)),GTrace);;
|