PredicateSymbol.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/PredicateSymbol.java

blob: 84e6aff6d6999b887864646f91b04af9cffaa995 (plain) (blame)

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

public class PredicateSymbol extends Symbol{

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

}