Searched refs:CLAUSE_TRANS_PROP (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | property.h | 56 #define CLAUSE_TRANS_PROP 16 macro
|
H A D | property.c | 503 case CLAUSE_TRANS_PROP: 575 case CLAUSE_TRANS_PROP:
|
H A D | read.c | 1932 propid = CLAUSE_TRANS_PROP;
|
H A D | bip_db.c | 1421 *pmtype = CLAUSE_TRANS_PROP;
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | kernel.pl | 4736 visible_term_macro(Head, TransPred, _Options, TLM, ContextModule, 16 /*CLAUSE_TRANS_PROP*/), 5011 visible_term_macro(OldHead, TransPred, _Options, TLM, Module, 16 /*CLAUSE_TRANS_PROP*/),
|
Completed in 53 milliseconds