stp.EntailmentResult¶

class stp.EntailmentResult(kind, reason=0, message='')¶

valid, invalid or unknown, with the reason attached.

property reason¶

property reason_message¶

is_valid()¶

is_invalid()¶

is_unknown()¶

__eq__(other)¶: Return self==value.

__ne__(other)¶: Return self!=value.

__bool__()¶