blob: 84e6aff6d6999b887864646f91b04af9cffaa995 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
package org.eclipse.viatra.solver.data.model.symbols;
public class PredicateSymbol extends Symbol{
public PredicateSymbol(String name, int arity) {
super(name, arity);
}
}
|