Toggle navigation
Hot Examples
RU
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Найти
Главная
Axiom
Runtime
Builtins
Equality
NotUnifiablePredicate
C# Класс Axiom.Runtime.Builtins.Equality.NotUnifiablePredicate
Наследование:
AbstractPredicate
Показать файл
Открыть проект
Примеры использования класса
Открытые методы
Метод
Описание
Arity
( ) :
int
Execute
(
AbstractMachineState
state
) :
void
Name
( ) :
string
Описание методов
Arity()
публичный
Метод
public
Arity
( ) :
int
Результат
int
Execute()
публичный
Метод
public
Execute
(
AbstractMachineState
state
) :
void
state
AbstractMachineState
Результат
void
Name()
публичный
Метод
public
Name
( ) :
string
Результат
string