메소드 | 설명 | |
---|---|---|
Equals ( Object o ) : bool | ||
GetHashCode ( ) : int | ||
Literal ( AtomicSentence atom ) : System | ||
Literal ( AtomicSentence atom, bool negated ) : System | ||
ToString ( ) : String | ||
getAtomicSentence ( ) : AtomicSentence | ||
isNegativeLiteral ( ) : bool | ||
isPositiveLiteral ( ) : bool | ||
newInstance ( AtomicSentence atom ) : |
public Literal ( AtomicSentence atom, bool negated ) : System | ||
atom | AtomicSentence | |
negated | bool | |
리턴 | System |
public newInstance ( AtomicSentence atom ) : |
||
atom | AtomicSentence | |
리턴 |