Examples with ACartesianProductExpression de.be4.classicalb.core.parser.node.ACartesianProductExpression used on opensource projects

Example 1 with ACartesianProductExpression

use of de.be4.classicalb.core.parser.node.ACartesianProductExpression in project probparsers by bendisposto.

the class PairType method createASTNode.

public PExpression createASTNode(Typechecker typechecker) {
    ACartesianProductExpression node = new ACartesianProductExpression(first.createASTNode(typechecker), second.createASTNode(typechecker));
    typechecker.setType(node, new SetType(this));
    return node;
}