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

Example 1 with APartialFunctionExpression

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

the class FunctionType method createASTNode.

@Override
public PExpression createASTNode(Typechecker typechecker) {
    APartialFunctionExpression node = new APartialFunctionExpression(domain.createASTNode(typechecker), range.createASTNode(typechecker));
    typechecker.setType(node, new SetType(this));
    return node;
}