Class Subsumption
- java.lang.Object
-
- org.drools.verifier.report.components.Subsumption
-
- All Implemented Interfaces:
Cause
public class Subsumption extends java.lang.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, java.util.Collection<Cause> causes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Collection<Cause>getCauses()VerifierComponentgetLeft()VerifierComponentgetRight()java.lang.StringtoString()
-
-
-
Constructor Detail
-
Subsumption
public Subsumption(VerifierComponent left, VerifierComponent right)
-
Subsumption
public Subsumption(VerifierComponent left, VerifierComponent right, java.util.Collection<Cause> causes)
-
-
Method Detail
-
getLeft
public VerifierComponent getLeft()
-
getRight
public VerifierComponent getRight()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-