Searched defs:isEmpty (Results 1 - 25 of 41) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DStack.sig5 val isEmpty : 'item stack -> bool value
H A DStack.sml10 fun isEmpty( Node( _ , S)) = false function
H A Dgr-sig.sml86 val isEmpty : ('a,'b) graph -> bool value
129 val isEmpty : 'a graph -> bool value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DStack.sig5 val isEmpty : 'item stack -> bool value
H A DStack.sml10 fun isEmpty( Node( _ , S)) = false function
H A Dgr-sig.sml86 val isEmpty : ('a,'b) graph -> bool value
129 val isEmpty : 'a graph -> bool value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DStack.sig5 val isEmpty : 'item stack -> bool value
H A DStack.sml10 fun isEmpty( Node( _ , S)) = false function
H A Dgr-sig.sml86 val isEmpty : ('a,'b) graph -> bool value
129 val isEmpty : 'a graph -> bool value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUTF8Set.sig8 val isEmpty : t -> bool value
H A DUTF8Set.sml22 fun isEmpty (N(b,m)) = not b andalso Binarymap.numItems m = 0 function
H A DRedblackmap.sig19 val isEmpty : ('key, 'a) dict -> bool value
H A DRedblackset.sig15 val isEmpty : 'item set -> bool value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DCharSet.sig11 val isEmpty : CharSet -> bool value
H A DCharSet.sml46 fun isEmpty cs = let function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalTag-sig.sml8 val isEmpty : tag -> bool value
H A DTag.sig9 val isEmpty : tag -> bool value
H A DTag.sml37 fun isEmpty tg = null (oracles_of tg) andalso null (axioms_of tg) function
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java123 public boolean isEmpty() { method in class:GraphBrowser
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphBrowser.java123 public boolean isEmpty() { method in class:GraphBrowser
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntset.sig16 val isEmpty : intset -> bool value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sig18 val isEmpty : 'item set -> bool value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DArraySliceSignature.sml35 val isEmpty: 'a slice -> bool value
H A DMONO_VECTOR_SLICE.sml37 val isEmpty: slice -> bool value
H A DVectorSliceSignature.sml32 val isEmpty: 'a slice -> bool value

Completed in 130 milliseconds

12