Package coneforest.psylla.core

Interface PsyLogical<T extends PsyLogical>

Type Parameters:

T - a type of the second operand at binary operation.

All Superinterfaces:

PsyConvertableToName, PsyConvertableToString, PsyObject

All Known Subinterfaces:

PsyBitwise<T>

All Known Implementing Classes:

PsyBigInteger, PsyBitArray, PsyBoolean, PsyInteger

public interface PsyLogical<T extends PsyLogical>
extends PsyObject

A representation of Ψ-logical, a type of object that is an operand of logical operation. This interface declares methods for logical negation, disjunction, conjunction and exclusive disjunction.

Field Summary

Fields

Modifier and Type	Field	Description
static PsyOperator[]	OPERATORS

Method Summary

Modifier and Type	Method	Description
T	psyAnd(T oLogical)	Returns a result of logical conjunction of this object and given object.
T	psyNot()	Returns a result of logical negation of this object.
T	psyOr(T oLogical)	Returns a result of logical disjunction of this object and given object.
T	psyXor(T oLogical)	Returns a result of logical exclusive disjunction of this object and given object.

Methods inherited from interface coneforest.psylla.core.PsyObject

convert, execute, invoke, psyClone, psyEq, psyHashCode, psyInstanceOf, psyNe, psySyntax, psyToName, psyToString, psyType, toSyntaxString, typeName

Field Detail

OPERATORS

static final PsyOperator[] OPERATORS

Method Detail

psyNot

T psyNot()

Returns a result of logical negation of this object.

Returns:

a result.

psyOr

T psyOr(T oLogical)

Returns a result of logical disjunction of this object and given object.

Parameters:

oLogical - given object.

Returns:

a result.

psyAnd

T psyAnd(T oLogical)

Returns a result of logical conjunction of this object and given object.

Parameters:

oLogical - given object.

Returns:

a result.

psyXor

T psyXor(T oLogical)

Returns a result of logical exclusive disjunction of this object and given object.

Parameters:

oLogical - given object.

Returns:

a result.