maszynaWnioskujaca
Class Tester

java.lang.Object
  extended by maszynaWnioskujaca.Tester

public class Tester
extends java.lang.Object

Author:
Łukasz Brzękowski Klasa demonstrująca możliwości Maszyny Wnioskującej.

Constructor Summary
Tester()
           
 
Method Summary
private static void faktAdd(java.util.ArrayList fakty)
           
static void main(java.lang.String[] args)
           
private static void menu()
           
private static void przeslankaAdd(java.util.ArrayList reguly)
           
private static void wnioskuj(java.util.ArrayList reguly, java.util.ArrayList fakty)
           
private static void wnioskujWstecz(java.util.ArrayList p_reguly, java.util.ArrayList p_fakty)
          Nakładka na funkcję wnioskującą wstecz
static void wyswietl(java.util.ArrayList p_reguly, java.util.ArrayList p_fakty)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Tester

public Tester()
Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException
Throws:
java.io.IOException

przeslankaAdd

private static void przeslankaAdd(java.util.ArrayList reguly)
                           throws java.io.IOException
Throws:
java.io.IOException

faktAdd

private static void faktAdd(java.util.ArrayList fakty)
                     throws java.io.IOException
Throws:
java.io.IOException

wnioskuj

private static void wnioskuj(java.util.ArrayList reguly,
                             java.util.ArrayList fakty)

wnioskujWstecz

private static void wnioskujWstecz(java.util.ArrayList p_reguly,
                                   java.util.ArrayList p_fakty)
Nakładka na funkcję wnioskującą wstecz


wyswietl

public static void wyswietl(java.util.ArrayList p_reguly,
                            java.util.ArrayList p_fakty)

menu

private static void menu()