de.tud.ke.mrapp.rulelearning.core.model.rules

Interface Proposition<T extends Predicate>

Type Parameters:

T - The type of the concatenated Predicates

All Superinterfaces:

java.lang.Iterable<T>, java.util.function.Predicate<AttributeMap>

All Known Implementing Classes:

Body, Rule, RuleCollection, RuleSet

public interface Proposition<T extends Predicate>
extends Predicate, java.lang.Iterable<T>

Defines the interface, a logical proposition consisting of concatenations of Predicates, e.g. a conjunctive or disjunctive rule, must implement.

Since:

0.1.0

Method Summary

Modifier and Type	Method and Description
default @NotNull java.util.Set<T>	getAllMatches(@NotNull AttributeMap attributeMap) Returns a set that contains all predicates of the proposition that match a specific example (given as an AttributeMap).
default T	getFirstMatch(@NotNull AttributeMap attributeMap) Returns the first predicate of the proposition that matches a specific example (given as an AttributeMap), if such a predicate is part of the proposition.
boolean	isConjunctive() Returns, whether the proposition is conjunctive, or not.
default boolean	isDisjunctive() Returns, whether the proposition is disjunctive, or not.
default boolean	test(@NotNull AttributeMap attributeMap)

Methods inherited from interface java.util.function.Predicate

and, isEqual, negate, or

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

isConjunctive

boolean isConjunctive()

Returns, whether the proposition is conjunctive, or not.

Returns:

True, if the proposition is conjunctive, false otherwise

isDisjunctive

default boolean isDisjunctive()

Returns, whether the proposition is disjunctive, or not.

Returns:

True, if the proposition is disjunctive, false otherwise

getFirstMatch

@Nullable
default T getFirstMatch(@NotNull
                                  @NotNull AttributeMap attributeMap)

Returns the first predicate of the proposition that matches a specific example (given as an AttributeMap), if such a predicate is part of the proposition.

Parameters:

attributeMap - The example to be checked

Returns:

The first predicate that matches the given example or null, if no such predicate is part of the proposition

getAllMatches

@NotNull
default @NotNull java.util.Set<T> getAllMatches(@NotNull
                                                         @NotNull AttributeMap attributeMap)

Returns a set that contains all predicates of the proposition that match a specific example (given as an AttributeMap).

Parameters:

attributeMap - The example to be checked

Returns:

A set that contains all predicates that match the given example

test

default boolean test(@NotNull
                     @NotNull AttributeMap attributeMap)

Specified by:

test in interface java.util.function.Predicate<AttributeMap>