use of catdata.fqlpp.KBViewer in project fql by CategoricalData.
the class GUI method populateFqlpp.
private static void populateFqlpp(Menu menu) {
MenuItem kbItem = new MenuItem("FQL++ Knuth-Bendix");
menu.add(kbItem);
kbItem.addActionListener(x -> new KBViewer());
}