Home
last modified time | relevance | path

Searched refs:ATrans (Results 1 – 25 of 26) sorted by relevance

12

/dports/math/ltl2ba/ltl2ba-1.3/
H A Dalternating.c41 ATrans **transition;
93 ATrans *result; in dup_trans()
102 void do_merge_trans(ATrans **result, ATrans *trans1, ATrans *trans2) in do_merge_trans()
120 ATrans *merge_trans(ATrans *trans1, ATrans *trans2) /* merges two transitions */ in merge_trans()
148 ATrans *t1, *t2, *lft, *rgt, *result = (ATrans *)0; in boolean()
201 ATrans *t1, *t2, *t = (ATrans *)0; in build_alternating()
254 ATrans *tmp; in build_alternating()
313 ATrans *t, *father = (ATrans *)0; in simplify_atrans()
315 ATrans *t1; in simplify_atrans()
343 ATrans *t; in simplify_astates()
[all …]
H A Dltl2ba.h74 typedef struct ATrans { struct
78 struct ATrans *nxt; argument
79 } ATrans; typedef
83 struct ATrans *prod;
84 struct ATrans *trans;
178 ATrans *emalloc_atrans();
179 void free_atrans(ATrans *, int);
204 ATrans *dup_trans(ATrans *);
205 ATrans *merge_trans(ATrans *, ATrans *);
206 void do_merge_trans(ATrans **, ATrans *, ATrans *);
H A Dmem.c53 ATrans *atrans_list = (ATrans *)0;
131 ATrans* emalloc_atrans() { in emalloc_atrans()
132 ATrans *result; in emalloc_atrans()
134 result = (ATrans *)tl_emalloc(sizeof(GTrans)); in emalloc_atrans()
143 result->nxt = (ATrans *)0; in emalloc_atrans()
149 void free_atrans(ATrans *t, int rec) { in free_atrans()
158 ATrans *t; in free_all_atrans()
H A Dgeneralized.c37 extern ATrans **transition;
337 int is_final(int *from, ATrans *at, int i) /*is the transition final for i ?*/ in is_final()
339 ATrans *t; in is_final()
393 ATrans *t1; in make_gtrans()
571 ATrans *t; in mk_generalized()
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/plugins_unsupported/external/tsai-30b3/matrix/
H A Dmatrix.c237 int transpose (A, ATrans) in transpose() argument
239 ATrans; in transpose()
248 **atrans = ATrans.el,
255 if (rowsize < 0 || rowsize != ATrans.ub2 - ATrans.lb2 ||
256 colsize < 0 || colsize != ATrans.ub1 - ATrans.lb1) {
262 && A.lb1 == ATrans.lb1
263 && A.lb2 == ATrans.lb2) {
271 TMP = newdmat (ATrans.lb1, ATrans.ub1, ATrans.lb2, ATrans.ub2, &error);
277 TMP.el[ATrans.lb1 + j][ATrans.lb2 + i] =
281 matcopy (TMP, ATrans);
[all …]
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/include/elemental/blas-like/level1/
H A DMakeSymmetric.hpp39 Matrix<T> ATrans; in MakeSymmetric() local
40 Transpose( A, ATrans, conjugate ); in MakeSymmetric()
41 Axpy( T(1), ATrans, A ); in MakeSymmetric()
65 DistMatrix<T> ATrans(g); in MakeSymmetric() local
66 Transpose( A, ATrans, conjugate ); in MakeSymmetric()
67 Axpy( T(1), ATrans, A ); in MakeSymmetric()
/dports/games/libretro-scummvm/scummvm-7b1e929/engines/glk/alan3/
H A Dinstance.h87 extern int where(int instance, ATrans trans);
91 extern bool isAt(int instance, int other, ATrans trans);
92 extern bool isIn(int instance, int theContainer, ATrans trans);
93 extern bool isHere(int instance, ATrans trans);
94 extern bool isNearby(int instance, ATrans trans);
95 extern bool isNear(int instance, int other, ATrans trans);
H A Dinter.cpp363 static const char *transitivityFlag(ATrans value) { in transitivityFlag()
787 push(stack, containerSize(container, (ATrans)transitivity)); in interpret()
857 printf("WHERE \t%7ld, %7s", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
858 push(stack, where(id, (ATrans)transitivity)); in interpret()
874 printf("HERE \t%7ld, %s\t\t\t", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
875 push(stack, isHere(id, (ATrans)transitivity)); in interpret()
883 printf("NEARBY \t%7ld, %s\t\t\t", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
884 push(stack, isNearby(id, (ATrans)transitivity)); in interpret()
894 push(stack, isNear(id, other, (ATrans)transitivity)); in interpret()
904 push(stack, isAt(instance, other, (ATrans)transitivity)); in interpret()
[all …]
H A Dcontainer.h38 extern int containerSize(int container, ATrans trans);
H A Dinstance.cpp219 bool isHere(int id, ATrans transitivity) { in isHere()
227 bool isNearby(int instance, ATrans transitivity) { in isNearby()
238 bool isNear(int instance, int other, ATrans trans) { in isNear()
257 bool isIn(int instance, int container, ATrans trans) { in isIn()
282 bool isAt(int instance, int other, ATrans trans) { in isAt()
418 int where(int instance, ATrans trans) { in where()
H A Dcontainer.cpp118 int containerSize(int container, ATrans trans) { in containerSize()
H A Dacode.h303 enum ATrans { enum
/dports/games/scummvm/scummvm-2.5.1/engines/glk/alan3/
H A Dinstance.h87 extern int where(int instance, ATrans trans);
91 extern bool isAt(int instance, int other, ATrans trans);
92 extern bool isIn(int instance, int theContainer, ATrans trans);
93 extern bool isHere(int instance, ATrans trans);
94 extern bool isNearby(int instance, ATrans trans);
95 extern bool isNear(int instance, int other, ATrans trans);
H A Dinter.cpp375 static const char *transitivityFlag(ATrans value) { in transitivityFlag()
803 push(stack, containerSize(container, (ATrans)transitivity)); in interpret()
873 printf("WHERE \t%7ld, %7s", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
874 push(stack, where(id, (ATrans)transitivity)); in interpret()
890 printf("HERE \t%7ld, %s\t\t\t", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
891 push(stack, isHere(id, (ATrans)transitivity)); in interpret()
899 printf("NEARBY \t%7ld, %s\t\t\t", (long)id, transitivityFlag((ATrans)transitivity)); in interpret()
900 push(stack, isNearby(id, (ATrans)transitivity)); in interpret()
910 push(stack, isNear(id, other, (ATrans)transitivity)); in interpret()
920 push(stack, isAt(instance, other, (ATrans)transitivity)); in interpret()
[all …]
H A Dcontainer.h38 extern int containerSize(int container, ATrans trans);
H A Dinstance.cpp219 bool isHere(int id, ATrans transitivity) { in isHere()
227 bool isNearby(int instance, ATrans transitivity) { in isNearby()
238 bool isNear(int instance, int other, ATrans trans) { in isNear()
257 bool isIn(int instance, int container, ATrans trans) { in isIn()
282 bool isAt(int instance, int other, ATrans trans) { in isAt()
425 int where(int instance, ATrans trans) { in where()
H A Dcontainer.cpp118 int containerSize(int container, ATrans trans) { in containerSize()
H A Dacode.h303 enum ATrans { enum
/dports/math/ltl2ba/ltl2ba-1.3/patch-from-1.2/
H A Dltl2ba-warning-global-var.patch4 ATrans *boolean(Node *p) /* computes the transitions to boolean nodes -> next & init */
6 ATrans *t1, *t2, *lft, *rgt, *result = (ATrans *)0;
158 - ATrans *t1, *free;
159 + ATrans *t1;
165 ATrans *t;
/dports/misc/concourse/concourse-6.7.2/vendor/github.com/apache/thrift/lib/delphi/src/
H A DThrift.Transport.pas167 function GetTransport( const ATrans: ITransport): ITransport; in GetTransport()
171 function GetTransport( const ATrans: ITransport): ITransport; virtual; in GetTransport()
360 function GetTransport( const ATrans: ITransport): ITransport; override; in GetTransport()
368 constructor Create( const ATrans: ITransport); overload;
502 function TTransportFactoryImpl.GetTransport( const ATrans: ITransport): ITransport; in TTransportFactoryImpl.GetTransport()
504 Result := ATrans;
1064 constructor TFramedTransportImpl.Create( const ATrans: ITransport);
1068 FTransport := ATrans;
1186 function TFramedTransportImpl.TFactory.GetTransport( const ATrans: ITransport): ITransport; in TFactory()
1188 Result := TFramedTransportImpl.Create( ATrans );
/dports/net/storj/storj-1.45.3/vendor/github.com/apache/thrift/lib/delphi/src/
H A DThrift.Transport.pas197 function GetTransport( const ATrans: ITransport): ITransport; in GetTransport()
201 function GetTransport( const ATrans: ITransport): ITransport; virtual; in GetTransport()
390 function GetTransport( const ATrans: ITransport): ITransport; override; in GetTransport()
398 constructor Create( const ATrans: ITransport); overload;
694 function TTransportFactoryImpl.GetTransport( const ATrans: ITransport): ITransport; in TTransportFactoryImpl.GetTransport()
696 Result := ATrans;
1256 constructor TFramedTransportImpl.Create( const ATrans: ITransport);
1260 FTransport := ATrans;
1378 function TFramedTransportImpl.TFactory.GetTransport( const ATrans: ITransport): ITransport; in TFactory()
1380 Result := TFramedTransportImpl.Create( ATrans );
/dports/www/fabio/fabio-1.5.14/vendor/github.com/apache/thrift/thrift-da1169d75b15/lib/delphi/src/
H A DThrift.Transport.pas197 function GetTransport( const ATrans: ITransport): ITransport; in GetTransport()
201 function GetTransport( const ATrans: ITransport): ITransport; virtual; in GetTransport()
390 function GetTransport( const ATrans: ITransport): ITransport; override; in GetTransport()
398 constructor Create( const ATrans: ITransport); overload;
694 function TTransportFactoryImpl.GetTransport( const ATrans: ITransport): ITransport; in TTransportFactoryImpl.GetTransport()
696 Result := ATrans;
1256 constructor TFramedTransportImpl.Create( const ATrans: ITransport);
1260 FTransport := ATrans;
1378 function TFramedTransportImpl.TFactory.GetTransport( const ATrans: ITransport): ITransport; in TFactory()
1380 Result := TFramedTransportImpl.Create( ATrans );
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/src/core/BlockDistMatrix/
H A DGeneral.cpp567 BlockDistMatrix<T,V,U> ATrans( this->Grid() ); in TransposeColAllGather()
568 ATrans.AlignWith( *this ); in TransposeColAllGather()
569 ATrans.Resize( this->Width(), this->Height() ); in TransposeColAllGather()
570 Transpose( this->LockedMatrix(), ATrans.Matrix(), conjugate ); in TransposeColAllGather()
571 ATrans.RowAllGather( A ); in TransposeColAllGather()
580 BlockDistMatrix<T,V,U> ATrans( this->Grid() ); in TransposePartialColAllGather()
581 ATrans.AlignWith( *this ); in TransposePartialColAllGather()
582 ATrans.Resize( this->Width(), this->Height() ); in TransposePartialColAllGather()
583 Transpose( this->LockedMatrix(), ATrans.Matrix(), conjugate ); in TransposePartialColAllGather()
584 ATrans.PartialRowAllGather( A ); in TransposePartialColAllGather()
/dports/science/madness/madness-ebb3fd7/src/madness/external/elemental/src/core/DistMatrix/
H A DGeneral.cpp2641 DistMatrix<T,V,U> ATrans( this->Grid() ); in TransposeColAllGather()
2642 ATrans.AlignWith( *this ); in TransposeColAllGather()
2643 ATrans.Resize( this->Width(), this->Height() ); in TransposeColAllGather()
2644 Transpose( this->LockedMatrix(), ATrans.Matrix(), conjugate ); in TransposeColAllGather()
2645 ATrans.RowAllGather( A ); in TransposeColAllGather()
2654 DistMatrix<T,V,U> ATrans( this->Grid() ); in TransposePartialColAllGather()
2655 ATrans.AlignWith( *this ); in TransposePartialColAllGather()
2656 ATrans.Resize( this->Width(), this->Height() ); in TransposePartialColAllGather()
2657 Transpose( this->LockedMatrix(), ATrans.Matrix(), conjugate ); in TransposePartialColAllGather()
2658 ATrans.PartialRowAllGather( A ); in TransposePartialColAllGather()
/dports/devel/fpc-fcl-web/fpc-3.2.2/packages/fcl-web/src/restbridge/
H A Dsqldbrestio.pp310 Procedure SetConn(aConn : TSQLConnection; ATrans : TSQLTransaction);
864 procedure TRestIO.SetConn(aConn: TSQLConnection; ATrans: TSQLTransaction);

12