Searched refs:other (Results 1 - 25 of 522) sorted by relevance

1234567891011>>

/seL4-l4v-master/seL4/tools/hardware/
H A Dmemory.py22 def clone(other):
23 ret = Region(other.base, other.size)
29 def __eq__(self, other):
30 return self.base == other.base and self.size == other.size
32 def __ne__(self, other):
34 return not self.__eq__(other)
36 def __gt__(self, other):
37 return self.base > other
[all...]
/seL4-l4v-master/HOL4/src/string/theorytesting/
H A DotherScript.sml5 val _ = new_theory "other";
/seL4-l4v-master/HOL4/help/src-sml/
H A DSymbolic.sml24 | unsymb other = other;
35 | tosymb other = other;
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dbraces.py66 def __add__(self, other):
67 if isinstance(other, BracedString):
69 bits = self.bits + other.bits
70 elif other.bits[0].startswith(self.l):
71 bits = self.bits + other.bits
74 [self.bits[-1] + other.bits[0]] + \
75 other.bits[1:]
76 return BracedString(self.s + other.s, self.l, self.r, bits)
78 return BracedString(self.s + other, self.l, self.r)
80 def __eq__(self, other)
[all...]
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala25 override def equals(other: Any): Boolean =
26 other match {
56 override def equals(other: Any): Boolean =
57 other match {
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Dfold_handling.scala25 override def equals(other: Any): Boolean =
26 other match {
56 override def equals(other: Any): Boolean =
57 other match {
/seL4-l4v-master/HOL4/examples/dev/AES/tupled/
H A Dword8Script.sml24 (* evaluation, while the other is good for brute-force. *)
203 || other -> other)
204 || other -> other)
205 || other -> other)
206 || other -> other)
207 || other
[all...]
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dbytes.scala98 case other: Bytes =>
99 if (this eq other) true
100 else if (length != other.length) false
101 else (0 until length).forall(i => bytes(offset + i) == other.bytes(other.offset + i))
160 def +(other: Bytes): Bytes =
161 if (other.isEmpty) this
162 else if (isEmpty) other
164 val new_bytes = new Array[Byte](length + other.length)
166 System.arraycopy(other
[all...]
H A Dsha1.scala21 case other: Digest => rep == other.rep
H A Dmulti_map.scala53 def ++[B1 >: B] (other: Multi_Map[A, B1]): Multi_Map[A, B1] =
54 if (this eq other) this
55 else if (isEmpty) other
57 (this.asInstanceOf[Multi_Map[A, B1]] /: other.rep.iterator) {
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dbytes.scala98 case other: Bytes =>
99 if (this eq other) true
100 else if (length != other.length) false
101 else (0 until length).forall(i => bytes(offset + i) == other.bytes(other.offset + i))
160 def +(other: Bytes): Bytes =
161 if (other.isEmpty) this
162 else if (isEmpty) other
164 val new_bytes = new Array[Byte](length + other.length)
166 System.arraycopy(other
[all...]
H A Dsha1.scala21 case other: Digest => rep == other.rep
H A Dmulti_map.scala53 def ++[B1 >: B] (other: Multi_Map[A, B1]): Multi_Map[A, B1] =
54 if (this eq other) this
55 else if (isEmpty) other
57 (this.asInstanceOf[Multi_Map[A, B1]] /: other.rep.iterator) {
/seL4-l4v-master/isabelle/src/Pure/Isar/
H A Dkeyword.scala147 def ++ (other: Keywords): Keywords =
148 if (this eq other) this
149 else if (is_empty) other
152 if (kinds eq other.kinds) kinds
153 else if (kinds.isEmpty) other.kinds
154 else (kinds /: other.kinds) { case (m, e) => if (m.isDefinedAt(e._1)) m else m + e }
156 if (load_commands eq other.load_commands) load_commands
157 else if (load_commands.isEmpty) other.load_commands
159 (load_commands /: other.load_commands) {
H A Douter_syntax.scala123 def ++ (other: Outer_Syntax): Outer_Syntax =
124 if (this eq other) this
125 else if (this eq Outer_Syntax.empty) other
127 val keywords1 = keywords ++ other.keywords
128 val rev_abbrevs1 = Library.merge(rev_abbrevs, other.rev_abbrevs)
/seL4-l4v-master/l4v/isabelle/src/Pure/Isar/
H A Dkeyword.scala147 def ++ (other: Keywords): Keywords =
148 if (this eq other) this
149 else if (is_empty) other
152 if (kinds eq other.kinds) kinds
153 else if (kinds.isEmpty) other.kinds
154 else (kinds /: other.kinds) { case (m, e) => if (m.isDefinedAt(e._1)) m else m + e }
156 if (load_commands eq other.load_commands) load_commands
157 else if (load_commands.isEmpty) other.load_commands
159 (load_commands /: other.load_commands) {
/seL4-l4v-master/HOL4/src/real/
H A DrealLib.sml4 (* is also included. plus some other proof procedures. *)
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dcheck_keywords.scala22 private val other = token("token", _ => true)
23 private val item = conflict ^^ (x => Some(x)) | other ^^ (_ => None)
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dcheck_keywords.scala22 private val other = token("token", _ => true)
23 private val item = conflict ^^ (x => Some(x)) | other ^^ (_ => None)
/seL4-l4v-master/HOL4/examples/dev/AES/curried/
H A Dword8Script.sml27 (* evaluation, while the other is good for brute-force. *)
227 || other -> other)
228 || other -> other)
229 || other -> other)
230 || other -> other)
231 || other
[all...]
/seL4-l4v-master/isabelle/Admin/Windows/Cygwin/isabelle/
H A Dpostinstall10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
/seL4-l4v-master/l4v/isabelle/Admin/Windows/Cygwin/isabelle/
H A Dpostinstall10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
/seL4-l4v-master/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.lex43 see if have open brackets, or if we're in some state other than INITIAL*)
/seL4-l4v-master/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.lex43 see if have open brackets, or if we're in some state other than INITIAL*)
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheoryReader.sig11 other words, this is done mostly for the side-effects. The map returned

Completed in 117 milliseconds

1234567891011>>