C# 클래스 AIMA.Core.Logic.FOL.StandardizeApartInPlace

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드 설명
standardizeApart ( Chain c, int saIdx ) : int
standardizeApart ( Clause c, int saIdx ) : int

비공개 메소드들

메소드 설명
collectAllVariables ( Sentence s, List vars ) : void
standardizeApart ( List variables, Object expr, int saIdx ) : int

메소드 상세

standardizeApart() 공개 정적인 메소드

public static standardizeApart ( Chain c, int saIdx ) : int
c AIMA.Core.Logic.FOL.KB.Data.Chain
saIdx int
리턴 int

standardizeApart() 공개 정적인 메소드

public static standardizeApart ( Clause c, int saIdx ) : int
c Clause
saIdx int
리턴 int