RulesClass


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