names.typesys: Get Variable Names

In nick-ulle/typesys: General-purpose Abstract Type System

Description

Methods to get the names of variables in a Term.

Usage

## S4 method for signature ''typesys::Variable''
names(x)

## S4 method for signature ''typesys::Constant''
names(x)

## S4 method for signature ''typesys::Composite''
names(x)

## S4 replacement method for signature ''typesys::Variable''
names(x) <- value

Arguments

x	A Term object.

Details

Names can only be set on a Variable object.

Value

A character vector of variable names.

nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.