alice.logictuple
Class Value

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

All Implemented Interfaces:

java.io.Serializable

public class Value

extends TupleArgument

Value class represents value (integer, real, string, compound-structured) argument of tuples This class works only as a constructor of specific value object, it does not provide any services, which are collected in TupleArgument class

See Also:

TupleArgument, Var, Serialized Form

Fields inherited from class alice.logictuple.TupleArgument

value

Constructor Summary

Value()

Value(double v)
Constructs a simple double tuple argument

Value(float v)
Constructs a simple float tuple argument

Value(int v)
Constructs a simple integer tuple argument

Value(long v)
Constructs a simple long tuple argument

Value(java.lang.String f)
Constructs a simple string tuple argument

Value(java.lang.String f, TupleArgument at0)
Constructs a structured (compound) argument, made of a string as a name (functor) and one argument

Value(java.lang.String f, TupleArgument[] argList)
Constructs a structured (compound) argument, made of a string as a name (functor) and list of arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1)
Constructs a structured (compound) argument, made of a string as a name (functor) and two arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2)
Constructs a structured (compound) argument, made of a string as a name (functor) and three arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3)
Constructs a structured (compound) argument, made of a string as a name (functor) and four arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4)
Constructs a structured (compound) argument, made of a string as a name (functor) and five arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4, TupleArgument at5)
Constructs a structured (compound) argument, made of a string as a name (functor) and six arguments

Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4, TupleArgument at5, TupleArgument at6)
Constructs a structured (compound) argument, made of a string as a name (functor) and seven arguments

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

Constructor Detail

Value

public Value(java.lang.String f)

Constructs a simple string tuple argument

Value

public Value(int v)

Constructs a simple integer tuple argument

Value

public Value(long v)

Constructs a simple long tuple argument

Value

public Value(float v)

Constructs a simple float tuple argument

Value

public Value(double v)

Constructs a simple double tuple argument

Value

public Value(java.lang.String f,
             TupleArgument at0)

Constructs a structured (compound) argument, made of a string as a name (functor) and one argument

Parameters:

f - the name of the structure

at0 - the argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1)

Constructs a structured (compound) argument, made of a string as a name (functor) and two arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1,
             TupleArgument at2)

Constructs a structured (compound) argument, made of a string as a name (functor) and three arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

at2 - the third argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1,
             TupleArgument at2,
             TupleArgument at3)

Constructs a structured (compound) argument, made of a string as a name (functor) and four arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

at2 - the third argument of the structure

at3 - the fourth argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1,
             TupleArgument at2,
             TupleArgument at3,
             TupleArgument at4)

Constructs a structured (compound) argument, made of a string as a name (functor) and five arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

at2 - the third argument of the structure

at3 - the fourth argument of the structure

at4 - the fifth argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1,
             TupleArgument at2,
             TupleArgument at3,
             TupleArgument at4,
             TupleArgument at5)

Constructs a structured (compound) argument, made of a string as a name (functor) and six arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

at2 - the third argument of the structure

at3 - the fourth argument of the structure

at4 - the fifth argument of the structure

at5 - the sixth argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument at0,
             TupleArgument at1,
             TupleArgument at2,
             TupleArgument at3,
             TupleArgument at4,
             TupleArgument at5,
             TupleArgument at6)

Constructs a structured (compound) argument, made of a string as a name (functor) and seven arguments

Parameters:

f - the name of the structure

at0 - the first argument of the structure

at1 - the second argument of the structure

at2 - the third argument of the structure

at3 - the fourth argument of the structure

at4 - the fifth argument of the structure

at5 - the sixth argument of the structure

at6 - the seventh argument of the structure

Value

public Value(java.lang.String f,
             TupleArgument[] argList)

Constructs a structured (compound) argument, made of a string as a name (functor) and list of arguments

Parameters:

f - the name of the structure

argList - the list of the arguments

Value

public Value()