com.oracle.graal.nodes

Class LogicNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.LogicNode

All Implemented Interfaces:

Node.ValueNumberable, Cloneable, Formattable, KindProvider

Direct Known Subclasses:

BinaryOpLogicNode, ClassIsAssignableFromNode, InstanceOfDynamicNode, LogicConstantNode, LogicNegationNode, ShortCircuitOrNode, UnaryOpLogicNode

public abstract class LogicNode
extends FloatingNode

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Field Summary

Fields

Modifier and Type	Field and Description
static NodeClass<LogicNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
LogicNode(NodeClass<? extends LogicNode> c)

Method Summary

Modifier and Type	Method and Description
static LogicNode	and(LogicNode a, boolean negateA, LogicNode b, boolean negateB, double shortCircuitProbability)
static LogicNode	and(LogicNode a, LogicNode b, double shortCircuitProbability)
boolean	isContradiction()
boolean	isTautology()
static LogicNode	or(LogicNode a, boolean negateA, LogicNode b, boolean negateB, double shortCircuitProbability)
static LogicNode	or(LogicNode a, LogicNode b, double shortCircuitProbability)

Methods inherited from class com.oracle.graal.nodes.calc.FloatingNode

asNode

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, simplify, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verify, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE

public static final NodeClass<LogicNode> TYPE

Constructor Detail

LogicNode

public LogicNode(NodeClass<? extends LogicNode> c)

Method Detail

and

public static LogicNode and(LogicNode a,
                            LogicNode b,
                            double shortCircuitProbability)

and

public static LogicNode and(LogicNode a,
                            boolean negateA,
                            LogicNode b,
                            boolean negateB,
                            double shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           LogicNode b,
                           double shortCircuitProbability)

or

public static LogicNode or(LogicNode a,
                           boolean negateA,
                           LogicNode b,
                           boolean negateB,
                           double shortCircuitProbability)

isTautology

public final boolean isTautology()

isContradiction

public final boolean isContradiction()