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.
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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
-
-
-
-
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.
-
-