Package it.unive.lisa.symbolic.value.operator

Interface LogicalOperator

All Superinterfaces:

NegatableOperator, Operator

All Known Implementing Classes:

LogicalAnd, LogicalNegation, LogicalOperation, LogicalOr

public interface LogicalOperator
extends NegatableOperator

A logical operation on operand(s) of type BooleanType.

Method Summary

Methods inherited from interface it.unive.lisa.symbolic.value.operator.NegatableOperator

opposite