Method size

src/main/java/wyil/util/Subtyping.java:345–345

Return the number of variables which are currently considered in this solution. @return

()

			 * @return
			 */
			public int size();

			/**
			 * Check whether a given solution is fully satisfied or not. In short, whether