ProverRole.java

package util.statemachine.implementation.prover;

import util.gdl.grammar.GdlProposition;
import util.statemachine.Role;

@SuppressWarnings("serial")
public final class ProverRole extends Role
{
    public ProverRole(GdlProposition name) {
        super(name);
    }
}