Package tools.refinery.logic.dnf
Class SymbolicParameter
java.lang.Object
tools.refinery.logic.term.Parameter
tools.refinery.logic.dnf.SymbolicParameter
-
Field Summary
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.logic.term.Parameter
getDirection, isAssignable, isDataVariable, isNodeVariable, matches, tryGetType