Uses of Interface
dev.civl.abc.ast.node.IF.PairNode

Packages that use PairNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.declaration	The ast.node.declaration submodule defines nodes and other object deadling with declarations in a program.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.

Uses of PairNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return PairNode

Modifier and Type	Method	Description
PairNode<S,T>	PairNode.copy()
<S extends ASTNode, T extends ASTNode> PairNode<S,T>	NodeFactory.newPairNode(Source source, S node1, T node2)	Creates a new ordered pair node, i.e., a node with exactly two children belonging to two specific classes.

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type PairNode

Modifier and Type	Method	Description
ArrayLambdaNode	NodeFactory.newArrayLambdaNode(Source source, TypeNode type, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression)	Constructs a new array lambda expression.
CompoundInitializerNode	NodeFactory.newCompoundInitializerNode(Source source, List<PairNode<DesignationNode,InitializerNode>> initList)	Constructs new compound initializer node.
DerivativeExpressionNode	NodeFactory.newDerivativeExpressionNode(Source source, ExpressionNode function, SequenceNode<PairNode<IdentifierExpressionNode,IntegerConstantNode>> partials, SequenceNode<ExpressionNode> arguments)	Constructs a new CIVL-C derivative expression, used to represent the (partial) derivative of a function with respect to any number of variables, evaluated at a point.
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.

Uses of PairNode in dev.civl.abc.ast.node.IF.declaration

Methods in dev.civl.abc.ast.node.IF.declaration that return types with arguments of type PairNode

Modifier and Type	Method	Description
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	AbstractFunctionDefinitionNode.getIntervals()	Returns the sequence of interval whose Cartesian product defines the domain on which the function is differentiable.

Uses of PairNode in dev.civl.abc.ast.node.IF.expression

Methods in dev.civl.abc.ast.node.IF.expression that return PairNode

Modifier and Type	Method	Description
PairNode<IdentifierExpressionNode,IntegerConstantNode>	DerivativeExpressionNode.getPartial(int index)	Returns the (identifier, int) pair at the specified index in the list of partial derivatives.

Methods in dev.civl.abc.ast.node.IF.expression that return types with arguments of type PairNode

Modifier and Type	Method	Description
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	ArrayLambdaNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>>	QuantifiedExpressionNode.boundVariableList()	the bound variable declaration list, which is a sequence node of pairs of variable declaration list and an optional expression that has domain type.
SequenceNode<PairNode<ExpressionNode,ExpressionNode>>	QuantifiedExpressionNode.intervalSequence()	The following is an experimental field for the $uniform operator.