| public ReducedLiteral ( AtomicSentence atom ) : System | ||
| atom | AtomicSentence | |
| return | System | |
public ReducedLiteral(AtomicSentence atom): base(atom)
{
}
| ReducedLiteral::ReducedLiteral ( AtomicSentence atom, bool negated ) : System |
