C# Класс AIMA.Core.Logic.FOL.Parsing.AST.QuantifiedSentence

Наследование: Sentence

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

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

Метод	Описание
Equals ( Object o ) : bool
GetHashCode ( ) : int
QuantifiedSentence ( String quantifier, List variables, Sentence quantified ) : System
ToString ( ) : String
accept ( FOLVisitor v, Object arg ) : Object
copy ( ) : FOLNode
getArgs ( ) : List
getQuantified ( ) : Sentence
getQuantifier ( ) : String
getSymbolicName ( ) : String
getVariables ( ) : List
isCompound ( ) : bool

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

Equals() публичный Метод

public Equals ( Object o ) : bool
o	Object
Результат	bool

GetHashCode() публичный Метод

public GetHashCode ( ) : int
Результат	int

QuantifiedSentence() публичный Метод

public QuantifiedSentence ( String quantifier, List variables, Sentence quantified ) : System
quantifier	String
variables	List
quantified	Sentence
Результат	System

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

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

accept() публичный Метод

public accept ( FOLVisitor v, Object arg ) : Object
v	FOLVisitor
arg	Object
Результат	Object

copy() публичный Метод

public copy ( ) : FOLNode
Результат	FOLNode

getArgs() публичный Метод

public getArgs ( ) : List
Результат	List

getQuantified() публичный Метод

public getQuantified ( ) : Sentence
Результат	Sentence

getQuantifier() публичный Метод

public getQuantifier ( ) : String
Результат	String

getSymbolicName() публичный Метод

public getSymbolicName ( ) : String
Результат	String

getVariables() публичный Метод

public getVariables ( ) : List
Результат	List

isCompound() публичный Метод

public isCompound ( ) : bool
Результат	bool