Class SymbolicParameter

java.lang.Object
tools.refinery.logic.term.Parameter
tools.refinery.logic.dnf.SymbolicParameter

public final class SymbolicParameter extends Parameter