5 Commits

Author	SHA1	Message	Date
Anna Kozlova	621795bbee	isApplicability check based on pertinentToApplicability	2015-11-30 15:11:41 +01:00
Anna Kozlova	49dfdded70	new inference: don't push resolved vars in case of failed substitution	2015-11-24 10:30:21 +01:00
Anna Kozlova	8096d635a6	inference when incomplete	2014-05-01 15:33:10 +04:00
Anna Kozlova	7d74b9dcf1	NPE	2014-04-22 20:02:51 +02:00
Anna Kozlova	2c49817e26	NPE	2014-04-22 20:02:48 +02:00