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