public static class AssignableTerm.Variable extends Object implements AssignableTerm
AssignableTerm.Function, AssignableTerm.Variablepublic String getName()
getName in interface AssignableTermpublic TermType getType()
getType in interface AssignableTerm