Home
last modified time | relevance | path

Searched refs:GTrace (Results 1 – 8 of 8) sorted by relevance

/dports/cad/tkgate/tkgate-2.1/src/tkgate/
H A Dscope.h72 } 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 Dscope.c467 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 Dscopewin.c33 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 Dtraceprint.c314 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 Dtest26.g139 GTrace := SGrobnerTrace(KNP);;
147 PrintNPListTrace(GTrace);
164 p := StrongNormalFormTraceDiff(CleanNP(GP2NP(milk-cola)),GTrace);;
255 retroTrace := StrongNormalFormTraceDiff(CleanNP(GP2NP(retro)),GTrace);;
H A Dtest26.test147 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 Dexample26.g139 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 Dgbnp_doc.tex5944 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);;