Mercurial > repos > mikel-egana-aranguren > oppl

comparison FaCT++-linux-v1.5.2/Models.lisp/query.default @ 19:cc270db37d33 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Directories re-arranged
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 06 Oct 2012 21:50:39 +0200
parents OPPL/FaCT++-linux-v1.5.2/Models.lisp/query.default@40adbcb2a7cc
children
comparison
equal deleted inserted replaced
18:d3616fac4ca5 19:cc270db37d33
1 [Query]
2
3 ;--
4 ;-- targets for single satisfiability (is Target sat) or subsumption (if Target [= Target2 holds) test
5 ;--
6
7 ; Target = *TOP*
8 ; Target2 = *BOTTOM*
9
10 ;***
11 ;*** please do not change lines below
12 ;***
13
14 ;--
15 ;-- target KB
16 ;--