public class Subsumption extends Object implements Cause
Constructor and Description |
---|
Subsumption(VerifierComponent left,
VerifierComponent right) |
Subsumption(VerifierComponent left,
VerifierComponent right,
Collection<Cause> causes) |
public Subsumption(VerifierComponent left, VerifierComponent right)
public Subsumption(VerifierComponent left, VerifierComponent right, Collection<Cause> causes)
public VerifierComponent getLeft()
public VerifierComponent getRight()
public Collection<Cause> getCauses()
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.