IntegerSymbol.java « symbols « model « data « solver « viatra « eclipse « org « java « main « src « model-data - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/IntegerSymbol.java

blob: b5e0a32657cebf98c79a216391bffee5df3f95c8 (plain) (blame)

package org.eclipse.viatra.solver.data.model.symbols;

public class IntegerSymbol extends Symbol{

	public IntegerSymbol(String name, int arity) {
		super(name, arity);
	}
}