Class ConjunctionFormulaValidator

java.lang.Object

fr.inria.rules.integraal.util.validator.rule.ConjunctionFormulaValidator

All Implemented Interfaces:

Validator<FOFormula>

public class ConjunctionFormulaValidator
extends Object
implements Validator<FOFormula>

Validates that a formula contains only conjunctions and atoms.

Author:

Florent Tornil Checks that the formula is only a (possibly multi-level) conjunction

Constructor Summary

Constructors

Constructor	Description
ConjunctionFormulaValidator()	Creates the conjunction-formula validator.

Method Summary

Modifier and Type	Method	Description
boolean	check(FOFormula formula)	Checks whether the supplied element satisfies this validator.
static ConjunctionFormulaValidator	instance()	Returns the default instance of ConjunctionFormulaValidator.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Validator

check

Constructor Details

ConjunctionFormulaValidator

public ConjunctionFormulaValidator()

Creates the conjunction-formula validator.

Method Details

instance

public static ConjunctionFormulaValidator instance()

Returns the default instance of ConjunctionFormulaValidator.

Returns:

the instance of ConjunctionFormulaValidator

check

public boolean check(FOFormula formula)

Description copied from interface: Validator

Checks whether the supplied element satisfies this validator.

Specified by:

check in interface Validator<FOFormula>

Parameters:

formula - element to check

Returns:

true iff the element respect a implementation defined property