RulesClass.java Source File

00001 package gov.nasa.arc.ase.ltl;
00002 
00003 // Written by ckong - Sept 7, 2001
00004 public class RulesClass {
00005   public static String getRules() {
00006     return 
00007       "p/\\p\n" +
00008       "p\n\n" +
00009       
00010       "p/\\true\n" +
00011       "p\n\n" +
00012 
00013       "p/\\false\n" +
00014       "false\n\n" +
00015 
00016       "p/\\!p\n" +
00017       "false\n\n" +
00018 
00019       "p\\/p\n" +
00020       "p\n\n" +
00021 
00022       "p\\/true\n" +
00023       "true\n\n" +
00024 
00025       "p\\/false\n" +
00026       "p\n\n" + 
00027 
00028       "p\\/!p\n" +
00029       "true\n\n" +
00030 
00031       "( X p ) U ( X q )\n" +
00032       "X ( p U q )\n\n" +
00033 
00034       "( p V q ) /\\ ( p V r )\n" +
00035       "p V ( q /\\ r )\n\n" +
00036 
00037       "( p V r ) \\/ ( q V r )\n" +
00038       "( p \\/ q ) V r\n\n" +
00039 
00040       "( X p ) /\\ ( X q )\n" +
00041       "X ( p /\\ q )\n\n" +
00042 
00043       "X true\n" +
00044       "true\n\n" +
00045 
00046       "p U false\n" +
00047       "false\n\n" +
00048 
00049       "[] <> p \\/ [] <> q\n" +
00050       "[] <> ( p \\/ q )\n\n" +
00051 
00052       "<> X p\n" +
00053       "X <> p\n\n" +
00054 
00055       "[] [] <> p\n" +
00056       "[] <> p\n\n" +
00057 
00058       "<> [] <> p\n" +
00059       "[] <> p\n\n" +
00060 
00061       "X [] <> p\n" +
00062       "[] <> p\n\n" +
00063 
00064       "<> ( p /\\ [] <> q )\n" +
00065       "( <> p ) /\\ ( [] <> q )\n\n" +
00066 
00067       "[] ( p \\/ [] <> q )\n" +
00068       "( [] p ) \\/ ( [] <> q )\n\n" +
00069 
00070       "X ( p /\\ [] <> q )\n" +
00071       "( X p ) /\\ ( [] <> q )\n\n" +
00072 
00073       "X ( p \\/ [] <> q )\n" +
00074       "( X p ) \\/ ( [] <> q )";
00075   }  
00076   public static void main(String[] args) {
00077     System.out.println(getRules());
00078   }  
00079 }