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

Inheritance: ClauseSimplifier
Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

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

Method Details

DefaultClauseSimplifier() public method

public DefaultClauseSimplifier ( ) : AIMA.Core.Logic.FOL.Inference
return AIMA.Core.Logic.FOL.Inference

DefaultClauseSimplifier() public method

public DefaultClauseSimplifier ( List rewrites ) : AIMA.Core.Logic.FOL.Inference
rewrites List
return AIMA.Core.Logic.FOL.Inference

simplify() public method

public simplify ( Clause c ) : Clause
c Clause
return Clause