• Home
• org.xcsp
• xcsp3-tools
• 1.2.2
• source code
• XNodeParentSpecial.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.xcsp.common.predicates.XNodeParentSpecial Maven / Gradle / Ivy

package org.xcsp.common.predicates;

import org.xcsp.common.IVar;
import org.xcsp.common.Types.TypeExpr;

public final class XNodeParentSpecial extends XNodeParent {

	public final String specialName;

	public XNodeParentSpecial(String specialName, XNode son1, XNode son2) {
		super(TypeExpr.SPECIAL, son1, son2);
		this.specialName = specialName;
	}

	public XNodeParentSpecial(String specialName, XNode son) {
		super(TypeExpr.SPECIAL, son);
		this.specialName = specialName;
	}
}