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

Interface ComparisonOperator

All Superinterfaces:

NegatableOperator, Operator

All Known Implementing Classes:

ComparisonEq, ComparisonGe, ComparisonGt, ComparisonLe, ComparisonLt, ComparisonNe, NumericComparison

public interface ComparisonOperator
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