public class Subsumption extends Object implements Cause
Constructor and Description |
---|
Subsumption(VerifierComponent left,
VerifierComponent right) |
Subsumption(VerifierComponent left,
VerifierComponent right,
Collection<Cause> causes) |
Modifier and Type | Method and Description |
---|---|
Collection<Cause> |
getCauses() |
VerifierComponent |
getLeft() |
VerifierComponent |
getRight() |
String |
toString() |
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–2018 JBoss by Red Hat. All rights reserved.