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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of xcsp3-tools Show documentation

Java Tools for parsing XCSP3 instances, compiling JvCSP3 models, and checking solutions. For more information about XCSP3, follow www.xcsp.org

The newest version!

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;
	}
}