org.drools.verifier.report.components
Class Subsumption

java.lang.Object
  extended by 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
Subsumption(VerifierComponent left, VerifierComponent right)
           
Subsumption(VerifierComponent left, VerifierComponent right, Collection<Cause> causes)
           
 
Method Summary
 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


Copyright © 2001-2013 JBoss Inc.. All Rights Reserved.