/dports/math/ltl2ba/ltl2ba-1.3/ |
H A D | alternating.c | 41 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 D | ltl2ba.h | 74 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 D | mem.c | 53 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 D | generalized.c | 37 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 D | matrix.c | 237 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 D | MakeSymmetric.hpp | 39 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 D | instance.h | 87 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 D | inter.cpp | 363 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 D | container.h | 38 extern int containerSize(int container, ATrans trans);
|
H A D | instance.cpp | 219 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 D | container.cpp | 118 int containerSize(int container, ATrans trans) { in containerSize()
|
H A D | acode.h | 303 enum ATrans { enum
|
/dports/games/scummvm/scummvm-2.5.1/engines/glk/alan3/ |
H A D | instance.h | 87 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 D | inter.cpp | 375 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 D | container.h | 38 extern int containerSize(int container, ATrans trans);
|
H A D | instance.cpp | 219 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 D | container.cpp | 118 int containerSize(int container, ATrans trans) { in containerSize()
|
H A D | acode.h | 303 enum ATrans { enum
|
/dports/math/ltl2ba/ltl2ba-1.3/patch-from-1.2/ |
H A D | ltl2ba-warning-global-var.patch | 4 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 D | Thrift.Transport.pas | 167 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 D | Thrift.Transport.pas | 197 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 D | Thrift.Transport.pas | 197 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 D | General.cpp | 567 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 D | General.cpp | 2641 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 D | sqldbrestio.pp | 310 Procedure SetConn(aConn : TSQLConnection; ATrans : TSQLTransaction); 864 procedure TRestIO.SetConn(aConn: TSQLConnection; ATrans: TSQLTransaction);
|