01: //
02: // Copyright (C) 2005 United States Government as represented by the
03: // Administrator of the National Aeronautics and Space Administration
04: // (NASA). All Rights Reserved.
05: //
06: // This software is distributed under the NASA Open Source Agreement
07: // (NOSA), version 1.3. The NOSA has been approved by the Open Source
08: // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
09: // directory tree for the complete NOSA document.
10: //
11: // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12: // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13: // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14: // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15: // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16: // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17: // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18: //
19: package gov.nasa.ltl.trans;
20:
21: /**
22: * DOCUMENT ME!
23: * @author ckong - Sept 7, 2001
24: */
25: public class RulesClass {
26: public static String getRules() {
27: return "p/\\p\n" + "p\n\n" + "p/\\true\n" + "p\n\n"
28: + "p/\\false\n" + "false\n\n" + "p/\\!p\n"
29: + "false\n\n" + "p\\/p\n" + "p\n\n" + "p\\/true\n"
30: + "true\n\n" + "p\\/false\n" + "p\n\n" + "p\\/!p\n"
31: + "true\n\n" + "( X p ) U ( X q )\n"
32: + "X ( p U q )\n\n" + "( p V q ) /\\ ( p V r )\n"
33: + "p V ( q /\\ r )\n\n" + "( p V r ) \\/ ( q V r )\n"
34: + "( p \\/ q ) V r\n\n" + "( X p ) /\\ ( X q )\n"
35: + "X ( p /\\ q )\n\n" + "X true\n" + "true\n\n"
36: + "p U false\n" + "false\n\n" + "[] <> p \\/ [] <> q\n"
37: + "[] <> ( p \\/ q )\n\n" + "<> X p\n" + "X <> p\n\n"
38: + "[] [] <> p\n" + "[] <> p\n\n" + "<> [] <> p\n"
39: + "[] <> p\n\n" + "X [] <> p\n" + "[] <> p\n\n"
40: + "<> ( p /\\ [] <> q )\n"
41: + "( <> p ) /\\ ( [] <> q )\n\n"
42: + "[] ( p \\/ [] <> q )\n"
43: + "( [] p ) \\/ ( [] <> q )\n\n"
44: + "X ( p /\\ [] <> q )\n"
45: + "( X p ) /\\ ( [] <> q )\n\n"
46: + "X ( p \\/ [] <> q )\n" + "( X p ) \\/ ( [] <> q )";
47: }
48:
49: public static void main(String[] args) {
50: System.out.println(getRules());
51: }
52: }
|