Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Variable
A variable
Term . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
ConstantType
A type of
Constant . |
Variable
A variable
Term . |
VariableTypeMap
A hashed storage class for arguments, keyed on their associated variables.
|
Class and Description |
---|
ConstantType
A type of
Constant . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Term
An argument to a
Predicate . |
Variable
A variable
Term . |
VariableTypeMap
A hashed storage class for arguments, keyed on their associated variables.
|
Class and Description |
---|
Variable
A variable
Term . |
VariableTypeMap
A hashed storage class for arguments, keyed on their associated variables.
|
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
ConstantType
A type of
Constant . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
ConstantType
A type of
Constant . |
Class and Description |
---|
ConstantType
A type of
Constant . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Variable
A variable
Term . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Variable
A variable
Term . |
Class and Description |
---|
Variable
A variable
Term . |
Class and Description |
---|
Constant
An element in the universe over which a PSL program is grounded.
|
Variable
A variable
Term . |
Class and Description |
---|
Attribute
A
Constant that is a value, as opposed to a unique identifier. |
Constant
An element in the universe over which a PSL program is grounded.
|
ConstantType
A type of
Constant . |
Term
An argument to a
Predicate . |
Variable
A variable
Term . |
VariableTypeMap
A hashed storage class for arguments, keyed on their associated variables.
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.