src/main/Routine.java
public static void message() {
		System.out.println("The program expects one input string-argument:");
		System.out.println("'a'   -- creates AIGER games and solves them");
		System.out.println("'wX'  -- creates Wash games with X (2..4) tanks and solves them");
		System.out.println("'Ra'  -- represents computed AIGER strategies");
		System.out.println("'RwX' -- represents computed Wash strategies with X (2..4) tanks (X=0 for reachability)");
		System.out.println("'rabN' -- creates naive Rabinizer games, solves them and represents computed strategies");
		System.out.println("'rabE' -- creates encoded Rabinizer games, solves them and represents computed strategies");
		System.out.println("'aTOTAL' -- performs entire Bit Shifter experiments");
		System.out.println("'wTOTAL' -- performs entire Scheduling of Washing Cycles experiments");
		System.out.println("'rTOTAL' -- performs entire Random LTL experiments");
	}
/**
	 * Prints information on how to use the program
	 */
Prints information on how to use the program
Prints information on how to use the program
public static void message() {
		System.out.println("The program expects one input string-argument:");
		System.out.println("'a'   -- creates AIGER games and solves them");
		System.out.println("'wX'  -- creates Wash games with X (2..4) tanks and solves them");
		System.out.println("'Ra'  -- represents computed AIGER strategies");
		System.out.println("'RwX' -- represents computed Wash strategies with X (2..4) tanks (X=0 for reachability)");
		System.out.println("'rabN' -- creates naive Rabinizer games, solves them and represents computed strategies");
		System.out.println("'rabE' -- creates encoded Rabinizer games, solves them and represents computed strategies");
		System.out.println("'aTOTAL' -- performs entire Bit Shifter experiments");
		System.out.println("'wTOTAL' -- performs entire Scheduling of Washing Cycles experiments");
		System.out.println("'rTOTAL' -- performs entire Random LTL experiments");
	}
public static void message ( ) { System . out . println ( "The program expects one input string-argument:" ) ; System . out . println ( "'a'   -- creates AIGER games and solves them" ) ; System . out . println ( "'wX'  -- creates Wash games with X (2..4) tanks and solves them" ) ; System . out . println ( "'Ra'  -- represents computed AIGER strategies" ) ; System . out . println ( "'RwX' -- represents computed Wash strategies with X (2..4) tanks (X=0 for reachability)" ) ; System . out . println ( "'rabN' -- creates naive Rabinizer games, solves them and represents computed strategies" ) ; System . out . println ( "'rabE' -- creates encoded Rabinizer games, solves them and represents computed strategies" ) ; System . out . println ( "'aTOTAL' -- performs entire Bit Shifter experiments" ) ; System . out . println ( "'wTOTAL' -- performs entire Scheduling of Washing Cycles experiments" ) ; System . out . println ( "'rTOTAL' -- performs entire Random LTL experiments" ) ; }
Prints information on how to use the program
Prints information on how to use the program