Package org.drools.verifier.report.components

Class Subsumption

java.lang.Object

org.drools.verifier.report.components.Subsumption

All Implemented Interfaces:

Cause

public class Subsumption
extends Object
implements Cause

Object type that indicates a subsumption between two objects. Subsumption happens when all possible the values for component A, are able to satisfy component B and only some values that are able to satisfy component B are able to satisfy component A. Example "if x is more than 1 both restrictions are satisfied": A: x > 10 B: x > 1

Constructor Summary

Constructors

Constructor	Description
Subsumption(VerifierComponent left, VerifierComponent right)
Subsumption(VerifierComponent left, VerifierComponent right, Collection<Cause> causes)

Method Summary

Modifier and Type	Method	Description
Collection<Cause>	getCauses()
VerifierComponent	getLeft()
VerifierComponent	getRight()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Subsumption

public Subsumption(VerifierComponent left,
                   VerifierComponent right)

Subsumption

public Subsumption(VerifierComponent left,
                   VerifierComponent right,
                   Collection<Cause> causes)

Method Detail

getLeft

public VerifierComponent getLeft()

getRight

public VerifierComponent getRight()

toString

public String toString()

Overrides:

toString in class Object

getCauses

public Collection<Cause> getCauses()

Specified by:

getCauses in interface Cause