Class EqvNode

Namespace
LogicalOptimizer
Assembly
LogicalOptimizer.Core.dll

Tree node for equivalence (biconditional) operation

public sealed class EqvNode : BinaryNode
Inheritance
EqvNode
Inherited Members

Constructors

EqvNode(AstNode, AstNode)

Creates an equivalence (biconditional) of the two operands.

public EqvNode(AstNode left, AstNode right)

Parameters

left AstNode
right AstNode

Properties

Operator

Operator symbol used when rendering.

public override string Operator { get; }

Property Value

string