ua.gradsoft.termware.util
Interface TermCondition


public interface TermCondition

*Interface for callback of check function.

Author:
Ruslan Shevchenko

Method Summary
 boolean check(Term t)
          if term t satisficy condition.
 

Method Detail

check

boolean check(Term t)
              throws TermWareException
if term t satisficy condition.

Returns:
true, if check was succesfull, otherwise false.
Throws:
TermWareException