Sort search results in order of relevance, where relevance =
a) better if 0 premises for intro or 1 premise for elim/dest rules
b) better if substitution size wrt to current goal is smaller
Only applies to intro, dest, elim, and simp
(contributed by Rafal Kolanski, NICTA)
/***************************************************************************
Title: GraphBrowser/Box.java
ID: $Id$
Author: Gerwin Klein, TU Muenchen
Copyright 2003 TU Muenchen
A box with width and height. Used instead of java.awt.Dimension for
batch mode.
***************************************************************************/
package GraphBrowser;
public class Box {
public int width;
public int height;
public Box(int w, int h) {
this.width = w;
this.height = h;
}
}