C# Class AIMA.Core.Logic.FOL.Inference.Otter.DefaultImpl.DefaultClauseSimplifier

Inheritance: ClauseSimplifier
Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode Description
DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference
simplify ( Clause c ) : Clause

Method Details

DefaultClauseSimplifier() public méthode

public DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
Résultat AIMA.Core.Logic.FOL.Inference

DefaultClauseSimplifier() public méthode

public DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference
rewrites List
Résultat AIMA.Core.Logic.FOL.Inference

simplify() public méthode

public simplify ( Clause c ) : Clause
c Clause
Résultat Clause