public class CloseBranchDependency extends BranchDependency
assertion| Constructor and Description |
|---|
CloseBranchDependency(aterm.ATermAppl assertion,
int tryNext,
Branch theBranch) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other)
Equals method
|
int |
getBranch() |
aterm.ATermAppl |
getInd() |
Branch |
getTheBranch() |
int |
getTryNext() |
int |
hashCode()
Hashcode method
TODO: this may not be sufficient
|
String |
toString()
ToString method
|
getAssertionpublic CloseBranchDependency(aterm.ATermAppl assertion,
int tryNext,
Branch theBranch)
public aterm.ATermAppl getInd()
public int hashCode()
public int getBranch()
public int getTryNext()
public Branch getTheBranch()
Copyright © 2019. All rights reserved.