Home
last modified time | relevance | path

Searched refs:ei_n (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h303 void validatePto( HeapAssertInfo * ei, Node ei_n );
304 void addPto( HeapAssertInfo * ei, Node ei_n, Node p, bool polarity );
H A Dtheory_sep.cpp1600 void TheorySep::validatePto( HeapAssertInfo * ei, Node ei_n ) { in validatePto() argument
1610 if( areEqual( atom[1], ei_n ) ){ in validatePto()
1611 addPto( ei, ei_n, atom, false ); in validatePto()
1621 void TheorySep::addPto( HeapAssertInfo * ei, Node ei_n, Node p, bool polarity ) { in addPto() argument
1622 Trace("sep-pto") << "Add pto " << p << ", pol = " << polarity << " to eqc " << ei_n << std::endl; in addPto()
1625 …Trace("sep-pto-debug") << "...eqc " << ei_n << " already has pto " << ei->d_pto.get() << ", merge.… in addPto()
1658 validatePto( ei, ei_n ); in addPto()
/dports/multimedia/libv4l/linux-5.13-rc2/fs/ext4/
H A Dfast_commit.c986 struct ext4_inode_info *ei, *ei_n; in ext4_fc_commit_dentry_updates() local
1008 list_for_each_entry_safe(ei, ei_n, &sbi->s_fc_q[FC_Q_MAIN], in ext4_fc_commit_dentry_updates()
/dports/multimedia/v4l_compat/linux-5.13-rc2/fs/ext4/
H A Dfast_commit.c986 struct ext4_inode_info *ei, *ei_n; in ext4_fc_commit_dentry_updates() local
1008 list_for_each_entry_safe(ei, ei_n, &sbi->s_fc_q[FC_Q_MAIN], in ext4_fc_commit_dentry_updates()
/dports/multimedia/v4l-utils/linux-5.13-rc2/fs/ext4/
H A Dfast_commit.c986 struct ext4_inode_info *ei, *ei_n; in ext4_fc_commit_dentry_updates() local
1008 list_for_each_entry_safe(ei, ei_n, &sbi->s_fc_q[FC_Q_MAIN], in ext4_fc_commit_dentry_updates()
/dports/x11/mate-terminal/mate-terminal-1.26.0/po/
H A Dnn.po1642 msgstr "Køyr ei_n eigendefinert kommando i staden for skalet"
/dports/x11/gnome-terminal/gnome-terminal-3.42.2/po/
H A Dnn.po1319 msgstr "Køyr ei_n eigendefinert kommando i staden for skalet"
/dports/x11-fm/nautilus/nautilus-41.1/po/
H A Dnn.po3167 msgstr "Ta med ei_n slettekommando som ikkje går gjennom papirkorga"
/dports/x11-fm/caja/caja-1.26.0/po/
H A Dnn.po4513 msgstr "Ta med ei_n slettekommando som ikkje går gjennom papirkorga"