model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

public class Symbol {
	private final String name;
	private final int arity;
	
	public Symbol(String name, int arity) {
		super();
		this.name = name;
		this.arity = arity;
	}
	
	public String getName() {
		return name;
	}
	public int getArity() {
		return arity;
	}
}