public class Value extends TupleArgument
TupleArgument
,
Var
,
Serialized Formvalue
Constructor and Description |
---|
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
|
Value(TupleArgument[] argList)
Constructs a structured (compound) argument as a logic list
|
doubleValue, floatValue, getArg, getArg, getArity, getName, getPredicateIndicator, getVarValue, intValue, isAtom, isAtomic, isDouble, isFloat, isInt, isInteger, isList, isLong, isNumber, isReal, isStruct, isValue, isVar, listIterator, longValue, match, parse, propagate, toArray, toList, toString, toTerm
public Value(double v)
v
- the double value to initialize this argumentpublic Value(float v)
v
- the float value to initialize this argumentpublic Value(int v)
v
- the int value to initialize this argumentpublic Value(long v)
v
- the long value to initialize this argumentpublic Value(java.lang.String f)
f
- the string value to initialize this argumentpublic Value(java.lang.String f, TupleArgument at0)
f
- the name of the structureat0
- the argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structureat2
- the third argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structureat2
- the third argument of the structureat3
- the fourth argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structureat2
- the third argument of the structureat3
- the fourth argument of the structureat4
- the fifth argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4, TupleArgument at5)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structureat2
- the third argument of the structureat3
- the fourth argument of the structureat4
- the fifth argument of the structureat5
- the sixth argument of the structurepublic Value(java.lang.String f, TupleArgument at0, TupleArgument at1, TupleArgument at2, TupleArgument at3, TupleArgument at4, TupleArgument at5, TupleArgument at6)
f
- the name of the structureat0
- the first argument of the structureat1
- the second argument of the structureat2
- the third argument of the structureat3
- the fourth argument of the structureat4
- the fifth argument of the structureat5
- the sixth argument of the structureat6
- the seventh argument of the structurepublic Value(java.lang.String f, TupleArgument[] argList)
f
- the name of the structureargList
- the list of the argumentspublic Value(TupleArgument[] argList)
argList
- the list of the arguments