C# Класс Axiom.Runtime.ConstantTerm

Наследование: AbstractTerm
Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
Bind ( AbstractTerm term ) : void
ConstantTerm ( ) : System
ConstantTerm ( object constant ) : System
Data ( ) : object
Dereference ( ) : AbstractTerm
Reference ( ) : AbstractTerm
ToString ( ) : string
Unify ( AbstractTerm term ) : bool

Описание методов

Bind() публичный метод

public Bind ( AbstractTerm term ) : void
term AbstractTerm
Результат void

ConstantTerm() публичный метод

public ConstantTerm ( ) : System
Результат System

ConstantTerm() публичный метод

public ConstantTerm ( object constant ) : System
constant object
Результат System

Data() публичный метод

public Data ( ) : object
Результат object

Dereference() публичный метод

public Dereference ( ) : AbstractTerm
Результат AbstractTerm

Reference() публичный метод

public Reference ( ) : AbstractTerm
Результат AbstractTerm

ToString() публичный метод

public ToString ( ) : string
Результат string

Unify() публичный метод

public Unify ( AbstractTerm term ) : bool
term AbstractTerm
Результат bool