| /dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/dialog/ |
| H A D | menuitem.pl | 116 apply_sub(ME) :->
131 send(ME, apply_sub),
137 send(ME, apply_sub),
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | Naming.cpp | 762 Formula* Naming::apply_sub(Formula* f, Where where, int& pos, int& neg) { in apply_sub() function in Naming
1008 l = apply_sub(f->left(), UNDER_IFF, posl, negl); in apply_sub()
1009 r = apply_sub(f->right(), UNDER_IFF, posr, negr); in apply_sub()
1011 l = apply_sub(f->left(), UNDER_IFF, negl, posl); in apply_sub()
1012 r = apply_sub(f->right(), UNDER_IFF, negr, posr); in apply_sub()
1071 Formula* g = apply_sub(f->qarg(), where, pos, neg); in apply_sub()
1239 Formula* g = apply_sub(fs->head(), where, results[0], neg); in apply_list()
|
| H A D | Naming.hpp | 154 Formula* apply_sub(Formula* subformula,Where where,int& pos,int& neg);
|
| /dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/test/system_tests/typeinf/ |
| H A D | mlt.mod | 66 unify Vl X Y U, apply_sub X U X2,
98 typesub A S B :- monotype A, (S = emp; S = (sub X Y Z)), apply_sub A S B.
100 apply_sub A (sub X Y Z) B :- copypoly X Y => apply_sub A Z B.
101 apply_sub A emp B :- copypoly A B.
105 apply_sub Y U Y2, update-sub Z U Z2.
|
| H A D | mlt.sig | 61 type apply_sub poly -> substitution -> poly -> o. type
|
| /dports/mail/cyrus-imapd32/cyrus-imapd-3.2.8/perl/imap/Cyrus/ |
| H A D | SyncProto.pm | 160 sub apply_sub { subroutine
|
| H A D | ImapClone.pm | 428 $Self->{syncer}->apply_sub($new, $Self->{targetuser});
|
| /dports/mail/cyrus-imapd34/cyrus-imapd-3.4.2/perl/imap/Cyrus/ |
| H A D | SyncProto.pm | 160 sub apply_sub { subroutine
|
| H A D | ImapClone.pm | 428 $Self->{syncer}->apply_sub($new, $Self->{targetuser});
|
| /dports/mail/cyrus-imapd30/cyrus-imapd-3.0.16/perl/imap/Cyrus/ |
| H A D | SyncProto.pm | 160 sub apply_sub { subroutine
|
| H A D | ImapClone.pm | 428 $Self->{syncer}->apply_sub($new, $Self->{targetuser});
|
| /dports/mail/claws-mail-perl/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-pgp/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-spam_report/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-spamassassin/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-rssyl/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-notification/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-newmail/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-clamd/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-mailmbox/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-litehtml_viewer/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-fetchinfo/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-managesieve/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail-address_keeper/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|
| /dports/mail/claws-mail/claws-mail-3.18.0/src/ |
| H A D | folder.h | 771 gboolean apply_sub; member
|