Searched defs:clone (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DDummyVertex.java17 public Object clone() { method in class:DummyVertex
H A DNormalVertex.java20 public Object clone() { method in class:NormalVertex
H A DGraph.java34 public Object clone() { method in class:Graph
H A DVertex.java25 public abstract Object clone(); method in class:Vertex
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DDummyVertex.java17 public Object clone() { method in class:DummyVertex
H A DNormalVertex.java20 public Object clone() { method in class:NormalVertex
H A DGraph.java34 public Object clone() { method in class:Graph
H A DVertex.java25 public abstract Object clone(); method in class:Vertex
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dbraces.py208 def clone(str, obj): function
/seL4-l4v-master/seL4/tools/hardware/
H A Dmemory.py22 def clone(other): member in class:Region
/seL4-l4v-master/HOL4/tools/Holmake/mosml/
H A DBuildCommand.sml78 val clone = variant file value
/seL4-l4v-master/seL4/tools/
H A Dlex.py163 def clone(self, object=None): member in class:Lexer

Completed in 92 milliseconds