This class defines the information about a type of a symbol used by getInformationOfUserType.
Elements of class LogicUserTypeInformation
Type | Element | Description |
---|---|---|
String | name | Name user type variable. |
LogicSymbolInformation | info | Information about user type variable. |
Definition at line 508 of file Logic.java.