Class ImpNode

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Core.dll

Implication node representing logical implication operation

public sealed class ImpNode : BinaryNode

Inheritance

object

AstNode

BinaryNode

ImpNode

Inherited Members

BinaryNode.Left

BinaryNode.Right

BinaryNode.Clone()

BinaryNode.ToString()

BinaryNode.GetVariables()

BinaryNode.Equals(object)

BinaryNode.GetHashCode()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Constructors

ImpNode(AstNode, AstNode)

Creates an implication left → right.

public ImpNode(AstNode left, AstNode right)

Parameters

left AstNode

right AstNode

Properties

Operator

Operator symbol used when rendering.

public override string Operator { get; }

Property Value

string