public class NotRefinement extends Object implements Refinement
Constructor and Description |
---|
NotRefinement(Refinement refinement) |
Modifier and Type | Method and Description |
---|---|
Refinement |
getRefinement() |
String |
toString() |
public NotRefinement(Refinement refinement)
public Refinement getRefinement()
public String toString()
toString
in class Object
Object.toString()
Copyright © 2016. All rights reserved.