alice.logictuple
Class Var

java.lang.Object
  |
  +--alice.logictuple.TupleArgument
        |
        +--alice.logictuple.Var

All Implemented Interfaces:

java.io.Serializable

public class Var

extends TupleArgument

Defines Variable argument of tuples, identified by a name

See Also:

TupleArgument, Value, Serialized Form

Field Summary

static Var

ANY the 'any' (anonymous, which is _) variable constant

Fields inherited from class alice.logictuple.TupleArgument

value

Constructor Summary

Var()
Constructs an anonymous variable tuple argument

Var(java.lang.String n)
Construct a variable tuple argument identified with a name

Methods inherited from class alice.logictuple.TupleArgument

getArg, getArity, getFloat, getInt, getName, getString, isFloat, isInt, isNumber, isString, isStruct, isValue, isVar, toString, toTerm

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ANY

public static final Var ANY

the 'any' (anonymous, which is _) variable constant

Constructor Detail

Var

public Var(java.lang.String n)
    throws InvalidVarNameException

Construct a variable tuple argument identified with a name

Parameters:

n - the name of the variable, which must start with an upper case letter or must be equal to "_"

Throws:

InvalidVarNameException - if it is not a valid name

Var

public Var()

Constructs an anonymous variable tuple argument