public class Variable extends Object implements Term
Term
.
Variables are immutable.
Variables are wildcards used to match GroundTerms
.Constructor and Description |
---|
Variable(String name)
Constructs a Variable, given a name.
|
public Variable(String name)
name
- A string IDpublic String getName()
public String toString()
public int hashCode()
public boolean equals(Object other)
public int compareTo(Term other)
compareTo
in interface Comparable<Term>
Copyright © 2018 University of California, Santa Cruz. All rights reserved.