Searched refs:preamble (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQDimacs.sml191 preamble), return the remaining lines. Hence, we are a bit lenient:
193 preamble, this code will accept it anyway. *)
197 "preamble contains a line that does not begin with \"c \" or \"p \""
/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py744 def preamble (self, solver_impl): member in class:Solver
745 preamble = []
747 preamble += ['(set-option :print-success true)']
748 preamble += [ '(set-option :produce-models true)',
751 preamble += ['(set-option :produce-unsat-cores true)']
754 preamble.extend (mem_word8_preamble)
756 preamble.extend (mem_word32_preamble)
757 return preamble
776 for msg in self.preamble (solver):
1089 for msg in self.preamble (solve
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dbibtex.scala231 private val commands = List("preamble", "string")
528 case "preamble" => failure("")
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dbibtex.scala231 private val commands = List("preamble", "string")
528 case "preamble" => failure("")
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml1484 val preamble = mk_mlsexp_list value
1493 val outputs = preamble::mapff convert post_def (rev rewritten)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex3781 % Contents of each column will wrap at width given in preamble. Width
3787 % To make preamble:
3845 % Macros used to set up halign preamble:
3953 % This preamble sets up a generic column definition, which will
3971 % If the user has set preamble in terms of percent of \hsize we will
3983 % If user has not set preamble in terms of percent of \hsize

Completed in 191 milliseconds