C# Класс AIMA.Core.Logic.FOL.KB.Data.Chain

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

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

Метод	Описание
Chain ( ) : System
Chain ( List literals ) : System
ToString ( ) : String
addLiteral ( Literal literal ) : void
getContrapositives ( ) : List
getHead ( ) : Literal
getLiterals ( ) : List
getNumberLiterals ( ) : int
getProofStep ( ) : ProofStep
getTail ( ) : List
isEmpty ( ) : bool
setProofStep ( ProofStep proofStep ) : void

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

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

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

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

public Chain ( List literals ) : System
literals	List
Результат	System

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

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

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

public addLiteral ( Literal literal ) : void
literal	Literal
Результат	void

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

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

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

public getHead ( ) : Literal
Результат	Literal

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

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

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

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

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

public getProofStep ( ) : ProofStep
Результат	ProofStep

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

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

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

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

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

public setProofStep ( ProofStep proofStep ) : void
proofStep	ProofStep
Результат	void